Publikationen
135 Einträge
2024
-
Lazy model checking for recursive state machines , 20 März 2024, in: Software and systems modelingElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Foundations of probability-raising causality in Markov decision processes , 2024, in: Logical methods in computer science : LMCS. 20, 1, S. 4:1–4:66Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
2023
-
Towards a Formal Account on Negative Latency , 14 Dez. 2023, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (Hrsg.). Springer, Cham, S. 188–214Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking , 31 Okt. 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (Hrsg.). Cham: Springer, Cham, S. 361-375, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
More for Less: Safe Policy Improvement with Stronger Performance Guarantees , Aug. 2023, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. S. 4406-4415Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access , 3 Juni 2023, NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (Hrsg.).Band 13903. S. 86-103, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study , 13 Jan. 2023, Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings. Gilly, K. & Thomas, N. (Hrsg.). Cham: Springer International Publishing AG, S. 19-34, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Counterfactual Causality for Reachability and Safety based on Distance Functions , 2023, Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. Achilleos, A. & Monica, D. D. (Hrsg.).S. 132-149, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Entropic Risk for Turn-Based Stochastic Games , 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France. Leroux, J., Lombardy, S. & Peleg, D. (Hrsg.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, S. 15:1-15:16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks , 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (Hrsg.). Springer, Cham, S. 401-421, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband