Publications

2026

• Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite AutomataBaier, C., Klüppelholz, S. & Spork, T., 24 Aug 2026, 37th International Conference on Concurrency Theory, CONCUR 2026. Sokolova, A. & Totzke, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Linear dynamical systems with weight functionsAghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., May 2026, In: Nonlinear Analysis: Hybrid Systems. 60, 101680Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Temporal Properties of Conditional Independence in Dynamic Bayesian NetworksAghamov, R., Baier, C., Ouaknine, J., Piribauer, J., Vahanwala, M. & Vialard, I., Mar 2026, Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence. Koenig, S., Jenkins, C. & Taylor, M. E. (eds.). Association for the Advancement of Artificial Intelligence, p. 36601-36609, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Models of human behaviourBaier, C., Cuevas Rivera, D., Dubslaff, C., Kiebel, S. J. & Wienhöft, P., 1 Jan 2026, Humans, Robots and Virtual Worlds in the Tactile Internet. Elsevier, p. 207-220, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Tailoring binary decision diagram compilation for feature modelsDubslaff, C., Husung, N. & Käfer, N., Jan 2026, In: Journal of Systems and Software. 231, 19 p., 112566Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Backward Responsibility in Transition Systems Beyond SafetyBaier, C., Klatt, R., Klüppelholz, S. & Lehmann, J., 2026, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (eds.). Springer, Cham, p. 105-123, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Concurrent Permissive Strategy TemplatesAnand, A., Baier, C., Chau, C., Klüppelholz, S., Mirzaei, A., Nayak, S. P. & Schmuck, A., 2026, Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I. Junges, S. & Katz, G. (eds.). Springer, Cham, p. 377-397, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th BirthdayBertrand, N., Dubslaff, C. & Klüppelholz, S., 2026, Springer, Cham, 426 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW InequalityBudde, C. E., Hartmanns, A., Meggendorfer, 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. (eds.). Springer, Cham, p. 83-94, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Stop Gambling! It Just Takes Too LongKlüppelholz, S. & Piribauer, J., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Bertrand, N., Dubslaff, C. & Klüppelholz, S. (eds.). Springer, Cham, p. 139-157, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report