On the complexity of robust Markov decision processes and bisimulation metrics
Source
LIPIcs : Leibniz International Proceedings in Informatics-391 (2026) p.
Revelations : a decidable class of POMDPs with omega-regular objectives (extended abstract)
Source
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, 15-21 August 2026, Bremen, Germany- () p. 8221-8226
Visibly recursive automata
Source
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
Source
Lecture notes in computer science-16421 (2026) p. 127-144
A neuro-symbolic strategy to support the model-driven design of systems engineering experiments
Source
Proceedings of the 16th International Conference on Simulation and Modeling Methodologies, Technologies and Applications; 1- () p. 524-531