Publications
146 Entries
2022
-
CPrAA – A Checker for Probabilistic Abstract Argumentation , Sep 2022, Computational Models of Argument: Proceedings of COMMA 2022. IOS Press, Vol. 353. p. 359-360Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Causality in configurable software systems , 5 Jul 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. Association for Computing Machinery (ACM), New York, p. 325-337, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The variance-penalized stochastic shortest path problem , 1 Jul 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 129:1–129:19, 19 p., 129Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Admissibility in Probabilistic Argumentation , 26 Jun 2022, In: Journal of Artificial Intelligence Research. 74, p. 957-1009, 53 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Probabilistic causes in Markov Chains , 25 Apr 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 347-367, 21 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata , 9 Apr 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 385–403, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
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. (eds.). Springer, Berlin [u. a.], 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 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. (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
-
From LTL to unambiguous Büchi automata via disambiguation of alternating automata , 15 Dec 2021, In: Formal Methods in System Design. 58, p. 42–82, 41 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
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