Publications

2024

• Lazy model checking for recursive state machinesDubslaff, C., Wienhöft, P. & Fehnker, A., 20 Mar 2024, In: Software and systems modelingElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Foundations of probability-raising causality in Markov decision processesBaier, C., Piribauer, J. & Ziemek, R., 2024, In: Logical methods in computer science : LMCS. 20, 1, p. 4:1–4:66Electronic (full-text) versionResearch output: Contribution to journal > Research article

2023

• Towards a Formal Account on Negative LatencyDubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 14 Dec 2023, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, Cham, p. 188–214Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
• PMC-VIS: An Interactive Visualization Tool for Probabilistic Model CheckingKorn, M., Méndez, J., Klüppelholz, S., Langner, R., Baier, C. & Dachselt, R., 31 Oct 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. (eds.). Cham: Springer, Cham, p. 361-375, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 Thirty-Second International Joint Conference on Artificial Intelligence. p. 4406-4415Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Strategy Synthesis in Markov Decision Processes Under Limited Sampling AccessWienhöft, P., Dubslaff, C., Baier, C. & Kiebel, S., 3 Jun 2023, NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.).Vol. 13903. p. 86-103, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness StudyKorn, M., Chrszon, P., Klüppelholz, S., Baier, C. & Wunderlich, S., 13 Jan 2023, Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings. Gilly, K. & Thomas, N. (eds.). Cham: Springer International Publishing AG, p. 19-34, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Counterfactual Causality for Reachability and Safety based on Distance FunctionsParreaux, J., Piribauer, J. & Baier, C., 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. (eds.).p. 132-149, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Entropic Risk for Turn-Based Stochastic GamesBaier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 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. (eds.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, p. 15:1-15:16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Syntactic vs Semantic Linear Abstraction and Refinement of Neural NetworksChau, C., Křetínský, J. & Mohr, S., 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (eds.). Springer, Cham, p. 401-421, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution