On the complexity of robust Markov decision processes and bisimulation metrics
Source
LIPIcs : Leibniz International Proceedings in Informatics-391 (2026) p.
A research agenda for active automata learning
Source
International journal on software tools for technology transfer - ISSN 1433-2779- (2026) p.
Pessimistic iterative planning with RNNs for robust POMDPs
Source
28th European Conference on Artificial Intelligence-ECAI-Biennial, OCT 25-30, 2025, University of Bologna, University of Bologna, Bologna, Italy-413 (2025) p. 4823-4831
Data-efficient safe policy improvement using parametric structure
Source
ECAI 2025 : 28th European Conference on Artificial Intelligence, October 25-30, 2025, Bologna, Italy-413 (2025) p. 4832-4839