Publikationen

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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Linear dynamical systems with weight functionsAghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., Mai 2026, in: Nonlinear Analysis: Hybrid Systems. 60, 101680Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Temporal Properties of Conditional Independence in Dynamic Bayesian NetworksAghamov, R., Baier, C., Ouaknine, J., Piribauer, J., Vahanwala, M. & Vialard, I., März 2026, Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence. Koenig, S., Jenkins, C. & Taylor, M. E. (Hrsg.). Association for the Advancement of Artificial Intelligence, S. 36601-36609, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 207-220, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Tailoring binary decision diagram compilation for feature modelsDubslaff, C., Husung, N. & Käfer, N., Jan. 2026, in: Journal of Systems and Software. 231, 19 S., 112566Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Springer, Cham, S. 105-123, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Cham, S. 377-397, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 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. (Hrsg.). Springer, Cham, S. 83-94, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Cham, S. 139-157, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten