Publikationen

2022

• On probability-raising causality in Markov decision processesBaier, C., Funke, F., Piribauer, J. & Ziemek, R., 1 Jan. 2022, Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Bouyer, P. & Schröder, L. (Hrsg.). Springer, Cham, Band 13242. S. 40-60, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the Foundations of Cycles in Bayesian NetworksBaier, C., Dubslaff, C., Hermanns, H. & Käfer, N., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Raskin, J., Chatterjee, K., Doyen, L. & Majumdar, R. (Hrsg.). Springer, Cham, S. 343-363, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten

2021

• Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State MachinesDubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dez. 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (Hrsg.). Springer, Cham, S. 332–350, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Responsibility and verification: importance value in temporal logicsMascle, C., Baier, C., Funke, F., Jantsch, S. & Kiefer, S., 24 Nov. 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. S. 1-14, 14 S., 9470597Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Admissibility in Probabilistic ArgumentationBaier, C., Diller, M., Dubslaff, C., Gaggl, S. A., Hermanns, H. & Käfer, N., Nov. 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Bienvenu, M., Lakemeyer, G. & Erdem, E. (Hrsg.). IJCAI Organization, S. 87-98, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Determinization and Limit-Determinization of Emerson-Lei AutomataJohn, T., Jantsch, S., Baier, C. & Klüppelholz, S., 12 Okt. 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (Hrsg.). Springer, Berlin [u. a.], S. 15–31, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Supporting ontology-mediated stream reasoning with model checkingDubslaff, C., Koopmann, P. & Turhan, A., 1 Okt. 2021, Proceedings of the 2021 International Stream Reasoning Workshop (SR)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From LTL to unambiguous Büchi automata via disambiguation of alternating automataJantsch, S., Müller, D., Baier, C. & Klein, J., Okt. 2021, in: Formal Methods in System Design. 58, 1-2, S. 42–82, 41 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Witnessing Subsystems for Probabilistic Systems with Low Tree WidthJantsch, S., Piribauer, J. & Baier, C., 17 Sept. 2021, Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. Ganty, P. & Bresolin, D. (Hrsg.).Band 346. S. 35-51, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A game-theoretic account of responsibility allocationBaier, C., Funke, F. & Majumdar, R., 1 Aug. 2021, Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021. Zhou, Z. (Hrsg.). International Joint Conferences on Artificial Intelligence, S. 1773-1779, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband