Publikationen
144 Einträge
2022
-
Causality in configurable software systems , 5 Juli 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. Association for Computing Machinery (ACM), New York, S. 325-337, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
The variance-penalized stochastic shortest path problem , 1 Juli 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022: ICALP 2022, July 4–8, 2022, Paris, France. Bojańczyk, M., Merelli, E. & Woodruff, D. P. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 129:1–129:19, 19 S., 129Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Admissibility in Probabilistic Argumentation , 26 Juni 2022, in: Journal of Artificial Intelligence Research. 74, S. 957-1009, 53 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Probabilistic causes in Markov Chains , 25 April 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 347-367, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata , 9 April 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 385–403, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
On probability-raising causality in Markov decision processes , 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, Proceedings: 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, Berlin [u. a.], 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 Networks , 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 Science and Business Media B.V., S. 343-363, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
2021
-
From LTL to unambiguous Büchi automata via disambiguation of alternating automata , 15 Dez. 2021, in: Formal Methods in System Design. 58, S. 42–82, 41 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines , 6 Dez. 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. (Hrsg.). Springer, Cham, S. 332–350Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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