We study how to efficiently combine formal methods, Monte Carlo Tree Sea...
We consider lexicographic bi-objective problems on Markov Decision Proce...
Given a Markov decision process (MDP) M and a formula Φ, the strategy
sy...
Weighted timed games are zero-sum games played by two players on a timed...
In this paper, we consider the online computation of a strategy that aim...
Weighted timed games are zero-sum games played by two players on a timed...