Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Sebastian Junges"'
Autor:
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Publikováno v:
Lecture Notes in Computer Science 13994, (2023). doi:10.1007/978-3-031-30820-8_25
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha SharyginaTools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Batz, K, Chen, M, Junges, S, Kaminski, B L, Katoen, J P & Matheja, C 2023, Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants . in Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . vol. 13994, Springer, pp. 410-429, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 22/04/2023 . https://doi.org/10.1007/978-3-031-30820-8_25
Sankaranarayanan, S. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II, pp. 410-429
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha SharyginaTools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Batz, K, Chen, M, Junges, S, Kaminski, B L, Katoen, J P & Matheja, C 2023, Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants . in Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . vol. 13994, Springer, pp. 410-429, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 22/04/2023 . https://doi.org/10.1007/978-3-031-30820-8_25
Sankaranarayanan, S. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II, pp. 410-429
Essential tasks for the verification of probabilistic programs include bounding expected outcomes and proving termination in finite expected runtime. We contribute a simple yet effective inductive synthesis approach for proving such quantitative reac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c58a0c7b34fb626880a7d16efce703d2
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222
Multiple-environment MDPs (MEMDPs) capture finite sets of MDPs that share the states but differ in the transition dynamics. These models form a proper subclass of partially observable MDPs (POMDPs). We consider the synthesis of policies that robustly
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::29b51c5fbbd380a9346469154ccc938e
https://doi.org/10.1007/978-3-031-30823-9_26
https://doi.org/10.1007/978-3-031-30823-9_26
Publikováno v:
International journal on software tools for technology transfer, 24(4), 589-610. Springer
International journal on software tools for technology transfer 24(4), 589-610 (2021). doi:10.1007/s10009-021-00633-z
International journal on software tools for technology transfer 24(4), 589-610 (2021). doi:10.1007/s10009-021-00633-z
International journal on software tools for technology transfer (2021). doi:10.1007/s10009-021-00633-z
Published by Springer, Berlin; Heidelberg [u.a.]
Published by Springer, Berlin; Heidelberg [u.a.]
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8882494c6fdc1eb2551f73225e4641a
https://research.utwente.nl/en/publications/d60b5558-cb6f-4b6b-806f-25da1c587381
https://research.utwente.nl/en/publications/d60b5558-cb6f-4b6b-806f-25da1c587381
Autor:
Sebastian Junges, Leonore Winterer, Joost-Pieter Katoen, Ufuk Topcu, Bernd Becker, Ralf Wimmer, Nils Jansen
Publikováno v:
IEEE Transactions on Automatic Control, 66, 1040-1054
IEEE Transactions on Automatic Control, 66, 3, pp. 1040-1054
IEEE Transactions on Automatic Control, 66, 3, pp. 1040-1054
We study synthesis problems with constraints in partially observable Markov decision processes (POMDPs), where the objective is to compute a strategy for an agent that is guaranteed to satisfy certain safety and performance specifications. Verificati
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031223365
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::607844fc94a778f4608f67e831cf6384
https://doi.org/10.1007/978-3-031-22337-2_20
https://doi.org/10.1007/978-3-031-22337-2_20
Publikováno v:
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783031212123
Lecture notes in computer science
Lecture notes in computer science
This paper presents COOL-MC, a tool that integrates state-of-the-art reinforcement learning (RL) and model checking. Specifically, the tool builds upon the OpenAI gym and the probabilistic model checker Storm. COOL-MC provides the following features:
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::040550235eddcbaf489bf1cca993555e
https://doi.org/10.1007/978-3-031-21213-0_3
https://doi.org/10.1007/978-3-031-21213-0_3
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783031199912
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee6152b146ea6edac3dc8995e78c546a
https://doi.org/10.1007/978-3-031-19992-9_1
https://doi.org/10.1007/978-3-031-19992-9_1
Autor:
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia
Publikováno v:
Mitra, S. (ed.), ICCPS 2022: 13th ACM/IEEE International Conference, pp. 34-45
Simulation-based testing of autonomous vehicles (AVs) has become an essential complement to road testing to ensure safety. Consequently, substantial research has focused on searching for failure scenarios in simulation. However, a fundamental questio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfdc41fde86fd18878ed0864caa831a5
https://repository.ubn.ru.nl/handle/2066/253560
https://repository.ubn.ru.nl/handle/2066/253560
Publikováno v:
Robotics: Science and Systems
High level declarative constraints provide a powerful (and popular) way to define and construct control policies; however, most synthesis algorithms do not support specifying the degree of randomness (unpredictability) of the resulting controller. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da4d0b42e4f01c7c3d6827f037341a70
http://arxiv.org/abs/2103.05672
http://arxiv.org/abs/2103.05672
Publikováno v:
Computer Aided Verification ISBN: 9783030816872
CAV (2)
CAV (2)
We investigate the problem of monitoring partially observable systems with nondeterministic and probabilistic dynamics. In such systems, every state may be associated with a risk, e.g., the probability of an imminent crash. During runtime, we obtain
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3cfa77b75e318ff526f87417a65b4de5
https://doi.org/10.1007/978-3-030-81688-9_26
https://doi.org/10.1007/978-3-030-81688-9_26