Publications
136 Entries
2021
-
Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines , 6 Dec 2021, Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (eds.). Springer, Cham, p. 332–350Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Responsibility and verification: importance value in temporal logics , 24 Nov 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). p. 1-14, 14 p., 77Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Admissibility in Probabilistic Argumentation , 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-98Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Determinization and Limit-Determinization of Emerson-Lei Automata , 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–31Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Supporting ontology-mediated stream reasoning with model checking , 1 Oct 2021, Proceedings of the International Stream Reasoning Workshop (SR)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Witnessing Subsystems for Probabilistic Systems with Low Tree Width , 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.).p. 35-51, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A game-theoretic account of responsibility allocation , 1 Aug 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. 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
-
Causality-Based Game Solving , 15 Jul 2021, Computer Aided Verification: 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, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
From Verification to Causality-Based Explications (Invited Talk) , 2 Jul 2021, 48th International Colloquium on Automata, Languages, and Programming: ICALP 2021, July 12–16, 2021, Glasgow, Scotland (Virtual Conference). Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, p. 1:1–1:20Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Enhancing Probabilistic Model Checking with Ontologies , 26 May 2021, In: Formal Aspects of Computing. 33, 6, p. 885–921, 36 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article