Výsledky vyhledávání - "Jansen, N.H."

COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking

Autor: Gross, D., Jansen, N.H., Junges, S., Pérez, G.A., Dong, W.

Publikováno v: Dong, W. (ed.), Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, proceedings, 41-49. Cham : Springer Nature Switzerland
STARTPAGE=41;ENDPAGE=49;ISSN=0302-9743;TITLE=Dong, W. (ed.), Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, proceedings

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ddfb35e98dd45fa2e8c4bb4e8904f250
https://hdl.handle.net/2066/286000

Zobrazit plný text záznamu

Sampling-Based Verification of CTMCs with Uncertain Rates

Autor: Badings, T.S., Junges, J.S.L., Jansen, N.H., Stoelinga, M.I.A., Volk, M.

Publikováno v: Shoham, S. (ed.), Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II, pp. 26-47

Item does not contain fulltext CAV 2022

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1236::d8a553b97e641f1a153da666ae81292a
https://repository.ubn.ru.nl/handle/2066/253359

Zobrazit plný text záznamu

Synthesis in pMDPs: A Tale of 1001 Parameters

Autor: Cubuktepe, M., Jansen, N.H., Junges, J.S.L., Katoen, J.-P., Topcu, U., Lahiri, S.

Publikováno v: Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 160-176
Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, 160-176. Cham : Springer International Publishing
STARTPAGE=160;ENDPAGE=176;ISSN=0302-9743;TITLE=Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Contains fulltext : 197721.pdf (Author’s version preprint ) (Closed access) Contains fulltext : 197721pub.pdf (Publisher’s version ) (Closed access) Communicating multi-pushdown systems model networks of multi-threaded recursive programs communic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2053c74b19aa557a7b04f29afb71c006
https://hdl.handle.net/2066/197721

Zobrazit plný text záznamu

Correct-by-construction policies for POMDPs

Autor: Jansen, N.H., Junges, J.S.L., Katoen, J.-P., Quatmann, T., Becker, B., Wimmer, R., Winterer, L., Sankaranarayanan, S.

Publikováno v: Sankaranarayanan, S. (ed.), SNR '19: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, Montreal, Quebec, Canada — April 15-15, 2019, 6-8. New York : ACM
STARTPAGE=6;ENDPAGE=8;TITLE=Sankaranarayanan, S. (ed.), SNR '19: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, Montreal, Quebec, Canada — April 15-15, 2019
Sankaranarayanan, S. (ed.), SNR '19: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, Montreal, Quebec, Canada — April 15-15, 2019, pp. 6-8

Summary. In this extended abstract, we discuss how to compute policies with finite memory---so-called finite-state controllers (FSCs)---for partially observable Markov decision processes (POMDPs) that are provably correct with respect to given specif

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::307ae323f3420fe3ba6a69d5cd0db2f1
http://hdl.handle.net/2066/209205

Zobrazit plný text záznamu

Human-in-the-Loop Synthesis of Partially Observable Markov Decision Processes

Autor: Carr, S., Jansen, N.H., Wimmer, R., Fu, J., Topcu, U., Berg, J.M.

Publikováno v: Berg, J.M. (ed.), ACC 2018: American Control Conference 2018, Jun 27-Jun 29, Milwaukee United States, pp. 762-769
Berg, J.M. (ed.), ACC 2018: American Control Conference 2018, Jun 27-Jun 29, Milwaukee United States, 762-769. Piscateway : IEEE
STARTPAGE=762;ENDPAGE=769;TITLE=Berg, J.M. (ed.), ACC 2018: American Control Conference 2018, Jun 27-Jun 29, Milwaukee United States
ACC

We study planning problems where autonomous agents operate inside environments that are subject to uncertainties and not fully observable. Partially observable Markov decision processes (POMDPs) are a natural formal model to capture such problems. Be

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a05e7bc53dcf089284834a0f98d1e301
https://hdl.handle.net/2066/195268

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Finite-state controllers of POMDPs via parameter synthesis

Autor: Junges, J.S.L., Jansen, N.H., Wimmer, R., Quatmann, T., Winterer, L., Katoen, J.-P., Becker, B., Globerson, A.

Publikováno v: Scopus-Elsevier
Globerson, A. (ed.), Uncertainty in Artificial Intelligence: Thirty-Fourth Conference (2018) August 6-10, 2018, Monterey, California, USA, 519-529. Corvallis : AUAI Press
STARTPAGE=519;ENDPAGE=529;TITLE=Globerson, A. (ed.), Uncertainty in Artificial Intelligence: Thirty-Fourth Conference (2018) August 6-10, 2018, Monterey, California, USA
Globerson, A. (ed.), Uncertainty in Artificial Intelligence: Thirty-Fourth Conference (2018) August 6-10, 2018, Monterey, California, USA, pp. 519-529

Contains fulltext : 199869.pdf (Author’s version preprint ) (Open Access) Uncertainty in Artificial Intelligence: Thirty-Fourth Conference (2018) August 6-10, 2018, Monterey, California, USA

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ab025ad539697aa19da87dc295ef0952
http://www.scopus.com/inward/record.url?eid=2-s2.0-85053107000&partnerID=MN8TOARS

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání