Publikationen

2024

• Certificates and Witnesses for Multi-objective Queries in Markov Decision ProcessesBaier, C., Chau, C. & Klüppelholz, S., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J., Soudjani, S. & Waga, M. (Hrsg.). Cham: Springer Nature Switzerland, S. 1-18, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards a Formal Account on Negative LatencyDubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (Hrsg.). Springer, Cham, S. 188–214, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2023

• Feature causalityDubslaff, C., Weis, K., Baier, C. & Apel, S., 7 Dez. 2023, in: Journal of Systems and Software. 209 (2024), 19 S., 111915Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• PMC-VIS: An Interactive Visualization Tool for Probabilistic Model CheckingKorn, M., Méndez, J., Klüppelholz, S., Langner, R., Baier, C. & Dachselt, R., 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
• Counterfactual Causality for Reachability and Safety based on Distance FunctionsParreaux, J., Piribauer, J. & Baier, C., 30 Sept. 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
• Markov chains and unambiguous automataBaier, C., Kiefer, S., Klein, J., Müller, D. & Worrell, J., Sept. 2023, in: Journal of computer and system sciences. 136, S. 113-134, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Entropic Risk for Turn-Based Stochastic GamesBaier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Aug. 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, S. 15:1-15:16, 15Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• More for Less: Safe Policy Improvement with Stronger Performance GuaranteesWienhöft, P., Suilen, M., Simão, T. D., Dubslaff, C., Baier, C. & Jansen, N., Aug. 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (Hrsg.).S. 4406-4415, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Strategy Synthesis in Markov Decision Processes Under Limited Sampling AccessBaier, C., Dubslaff, C., Wienhöft, P. & Kiebel, S., 3 Juni 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (Hrsg.). Springer, Cham, S. 86-103, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (Innovations in Systems and Software Engineering, (2022), 18, 3, (385-403), 10.1007/s11334-022-00445-7)John, T., Jantsch, S., Baier, C. & Klüppelholz, S., Juni 2023, in: Innovations in Systems and Software Engineering. Band 19. S. 227-229, 3 S.Elektronische (Volltext-)VersionPublikation: Spezielle Publikationen/Beiträge > Korrekturen (Errata und Widerrufe)