Publications

2021

• 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, KR 2021. Bienvenu, M., Lakemeyer, G. & Erdem, E. (eds.). IJCAI Organization, p. 87-98, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Determinization and Limit-Determinization of Emerson-Lei AutomataJohn, T., Jantsch, S., Baier, C. & Klüppelholz, S., 12 Oct 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, Berlin [u. a.], p. 15–31, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Supporting ontology-mediated stream reasoning with model checkingDubslaff, C., Koopmann, P. & Turhan, A., 1 Oct 2021, Proceedings of the 2021 International Stream Reasoning Workshop (SR)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From LTL to unambiguous Büchi automata via disambiguation of alternating automataJantsch, S., Müller, D., Baier, C. & Klein, J., Oct 2021, In: Formal Methods in System Design. 58, 1-2, p. 42–82, 41 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Witnessing Subsystems for Probabilistic Systems with Low Tree WidthJantsch, S., Piribauer, J. & Baier, C., 17 Sep 2021, Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. Ganty, P. & Bresolin, D. (eds.).Vol. 346. p. 35-51, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (ed.). International Joint Conferences on Artificial Intelligence, p. 1773-1779, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity CheckingPiribauer, J., Baier, C., Bertrand, N. & Sankur, O., 1 Aug 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 7:1–7:18Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Orbit Problem for Parametric Linear Dynamical SystemsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Luca, F., Ouaknine, J. & 3 others, 1 Aug 2021, 32nd International Conference on Concurrency Theory: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17, 28Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Causality-Based Game SolvingBaier, C., Coenen, N., Finkbeiner, B., Funke, F., Jantsch, S. & Siber, J., 15 Jul 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. Silva, A. & Leino, K. R. M. (eds.). Springer, Berlin [u. a.], p. 894–917, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From Verification to Causality-Based Explications (Invited Talk)Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Majumdar, R., Piribauer, J. & Ziemek, R., 2 Jul 2021, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021: ICALP 2021, July 12–16, 2021, Glasgow, Scotland (Virtual Conference). Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1:1–1:20, 1Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution