Publications
136 Entries
2023
-
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks , 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (eds.). Springer, Cham, p. 401-421, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2022
-
Configurable-by-construction runtime monitoring , 1 Oct 2022, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, Berlin [u. a.], 1 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Operational causality – Necessarily sufficient and sufficiently necessary , 7 Sep 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. (eds.). Springer, Berlin [u. a.], p. 27–45, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
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
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