Publications

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. (eds.). Springer, Cham, Vol. 13242. p. 40-60, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Cham, p. 343-363, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report

2021

• Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State MachinesDubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dec 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. (eds.). Springer, Cham, p. 332–350, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 1-14, 14 p., 9470597Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (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, 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