Publications
Note: Authors are ordered alphabetically, CORE ranking obtained from the CORE portal. Most author’s names link to their respective homepage. (If you are an author on this list with a missing or outdated link please contact me!)
Conference Articles
2024
IJCAIA*
2023
ECAIA
MFCSA
CAVA*
CAVA*
LICSA*
Correct Approximation of Stationary Distributions
In Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, TACAS 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, ETAPS
2022, Paris, France, April 22-27, 2023, Proceedings, Part I
2022
ATVAB
CAVA*
AAAIA*
Risk-Aware Stochastic Shortest Path
In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, EAAI 2022 Virtual Event, February 22
- March 1, 2022
2019
2018
2017
ATVAA
CAVA*
Index Appearance Record for Transforming Rabin Automata into Parity
Automata
In Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, TACAS 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, ETAPS
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Journal Articles
2024
2022
2020
Book Chapters
2021
Theses
2021
2020
2015
2013
BSc