Publikationen

2026

• The Modal Logic of Abstraction RefinementPiribauer, J. & Zschuppe, V., 2026, Foundations of Software Science and Computation Structures: 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Bertrand, N. & Milius, S. (Hrsg.). Springer, Cham, S. 527-548, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Verification meets CausalityBaier, C., 2026, Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems. S. 1, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• What Are the Odds? Improving Statistical Model Checking of Markov Decision ProcessesMeggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (Hrsg.). Springer, Cham, S. 195-218, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2025

• Certificates and Witnesses for Multi-objective ω-Regular Queries in Markov Decision ProcessesBaier, C., Chau, C., Drobitko, V., Jantsch, S. & Klüppelholz, S., 12 Nov. 2025, Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toleda, Spain, November 10-14, 2025, Proceedings. Bianculli, D. & Gomez-Martinez, E. (Hrsg.). Springer, Cham, S. 129-147, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Model Checking Linear Temporal Logic with Standpoint ModalitiesAghamov, R., Baier, C., Karimov, T., Majumdar, R., Ouaknine, J., Piribauer, J. & Spork, T., Nov. 2025, KR 2025 - Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Ortiz, M., Wassermann, R. & Schaub, T. (Hrsg.). Association for the Advancement of Artificial Intelligence, S. 2-11, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Certificates and witnesses for multi-objective queries in Markov decision processesBaier, C., Chau, C. & Klüppelholz, S., Juni 2025, in: Performance Evaluation. 168, 102482Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• When to Sample from Feature Diagrams?Käfer, N., Apel, S., Baier, C., Dubslaff, C. & Hermanns, H., 28 Mai 2025, VaMoS'25: Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems. Acher, M., Alves Pereira, J. & Quinton, C. (Hrsg.). Association for Computing Machinery (ACM), S. 11-20, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Formal Quality Measures for Predictors in Markov Decision ProcessesBaier, C., Klüppelholz, S., Piribauer, J. & Ziemek, R., 11 April 2025, Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence. Walsh, T., Shah, J. & Kolter, Z. (Hrsg.). Washington, DC: AAAI Press, S. 26760-26768, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Solving Robust Markov Decision Processes: Generic, Reliable, EfficientMeggendorfer, T., Weininger, M. & Wienhöft, P., 11 April 2025, in: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 25, S. 26631-26641, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Approximate Probabilistic Bisimulation for Continuous-Time Markov ChainsSpork, T., Baier, C., Katoen, J. P., Klüppelholz, S. & Piribauer, J., 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. Piskac, R. & Rakamaric, Z. (Hrsg.). Springer Science and Business Media B.V., S. 56-81, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband