Publikationen
135 Einträge
2022
-
Configurable-by-construction runtime monitoring , 1 Okt. 2022, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, Berlin [u. a.], 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Operational causality – Necessarily sufficient and sufficiently necessary , 7 Sept. 2022, A Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (Hrsg.). Springer, Berlin [u. a.], S. 27–45, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
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
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