On the complexity of robust Markov decision processes and bisimulation metrics
Bron
LIPIcs : Leibniz International Proceedings in Informatics-391 (2026) p.
Revelations : a decidable class of POMDPs with omega-regular objectives (extended abstract)
Bron
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, 15-21 August 2026, Bremen, Germany- () p. 8221-8226
Visibly recursive automata
Bron
Lecture notes in computer science - ISSN 0302-9743-16578 (2026) p. 194-208
Taylor’s DAgger : verified integration for efficient imitation-learning of an MPC
Bron
Lecture notes in computer science-16421 (2026) p. 127-144
SLWM : a library for implementing complex training workflows for surrogates of MPC’s
Bron
2024 IEEE International Conference on Big Data (BigData), 15-18 December, 2024, Washington, DC, USA- () p. 4139-4144