research
∙
08/15/2023
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods
We study how to efficiently combine formal methods, Monte Carlo Tree Sea...
share
research
∙
05/16/2023
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
We consider lexicographic bi-objective problems on Markov Decision Proce...
research
∙
04/25/2022
Strategy Synthesis for Global Window PCTL
Given a Markov decision process (MDP) M and a formula Φ, the strategy sy...
research
∙
04/26/2021
Optimal controller synthesis for timed systems
Weighted timed games are zero-sum games played by two players on a timed...
research
∙
06/08/2020
Monte Carlo Tree Search guided by Symbolic Advice for MDPs
In this paper, we consider the online computation of a strategy that aim...
research
∙
12/03/2018