Continuous one-counter automata
Bron
ACM transactions on computational logic - ISSN 1529-3785-24:1 (2023) p. 1-31
COOL-MC : a comprehensive tool for reinforcement learning and model checking
Bron
Lecture notes in computer science- () p. 41-49
Interplays of sure, almost-sure, and thresholds parity objectives on Markov decision processes
Bron
Bruxelles, Université libre de Bruxelles & Universiteit Antwerpen, 2022,xiv, 136 p.
Distillation of RL policies with formal guarantees via variational abstraction of Markov decision processes
Bron
Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, February 22-March 1, 2022- () p. 6497-6505
Revisiting parameter synthesis for one-counter automata
Bron
LIPIcs : Leibniz International Proceedings in Informatics-216:33 () p. 1-18