Publications
146 Entries
2024
-
Linear dynamical systems with continuous weight functions , 14 May 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, p. 22:1-22:11, 11 p., 22Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Backward Responsibility in Transition Systems Using General Power Indices , 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, p. 20320-20327, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
-
Lazy model checking for recursive state machines , 20 Mar 2024, In: Software and systems modeling. 23, 2, p. 369-401, 33 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Foundations of probability-raising causality in Markov decision processes , 19 Jan 2024, In: Logical methods in computer science : LMCS. 20, 1, p. 4:1–4:66, 66 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
2023
-
Towards a Formal Account on Negative Latency , 14 Dec 2023, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, Cham, p. 188–214Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Feature causality , 7 Dec 2023, In: Journal of Systems and Software. 209 (2024), 19 p., 111915Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking , 31 Oct 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Cham: Springer, Cham, p. 361-375, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Markov chains and unambiguous automata , Sep 2023, In: Journal of computer and system sciences. 136, p. 113-134, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
More for Less: Safe Policy Improvement with Stronger Performance Guarantees , Aug 2023, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. Elkind, E. (ed.).p. 4406-4415Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access , 3 Jun 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer, Cham, p. 86-103, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution