Publikationen
146 Einträge
2021
-
Responsibility and verification: importance value in temporal logics , 24 Nov. 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). S. 1-14, 14 S., 77Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). IJCAI Organization, S. 87-98Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Determinization and Limit-Determinization of Emerson-Lei Automata , 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–31Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Supporting ontology-mediated stream reasoning with model checking , 1 Okt. 2021, Proceedings of the 2021 International Stream Reasoning Workshop (SR)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Witnessing Subsystems for Probabilistic Systems with Low Tree Width , 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.).S. 35-51, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A game-theoretic account of responsibility allocation , 1 Aug. 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. 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
-
Causality-Based Game Solving , 15 Juli 2021, Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. Silva, A. & Leino, K. R. M. (Hrsg.). Springer, Berlin [u. a.], S. 894–917, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
From Verification to Causality-Based Explications (Invited Talk) , 2 Juli 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. (Hrsg.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, S. 1:1–1:20Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Enhancing Probabilistic Model Checking with Ontologies , 26 Mai 2021, in: Formal Aspects of Computing. 33, 6, S. 885–921, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Responsibility Attribution in Parameterized Markovian Models , 18 Mai 2021, Proceedings of the AAAI Conference on Artificial Intelligence. 13 Aufl., AAAI Press, Band 35. S. 11734-11743, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband