Busatto-Gaston, Damien

1. Optimal Reachability in Divergent Weighted Timed Games
   2017/01/13 by Busatto-Gaston, Damien, Monmege, Benjamin, Reynier, Pierre-Alain · 1 citation
   #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences
2. Symbolic Approximation of Weighted Timed Games
   2018/12/03 by Busatto-Gaston, Damien, Monmege, Benjamin, Reynier, Pierre-Alain · 1 citation
   #Computer Science and Game Theory (cs.GT) #D.2.4 #FOS: Computer and information sciences
3. Strategy Synthesis for Global Window PCTL
   2022/04/25 by Bordais, Benjamin, Busatto-Gaston, Damien, Guha, Shibashis +1 · 1 citation
   #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #G.3 #Logic in Computer Science (cs.LO)