Monmege, Benjamin
- Adding Negative Prices to Priced Timed Games
2014/04/23 by Thomas Brihaye, Gilles Geeraerts, Brihaye, Thomas +9 · 2 citations
Computer Science · #Formal Methods in Verification #semigroups and automata theory #Logic, programming, and type systems
- 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
- 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
- Games on Graphs: From Logic and Automata to Algorithms
2023/05/17 by Nathanaël Fijalkow, C. Aiswarya, Fijalkow, Nathanaël +48 · 1 voice · 2 citations
Computer Science · Decision Sciences · #Artificial Intelligence in Games #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Game Theory and Applications #Logic in Computer Science (cs.LO) #cs.FL #cs.GT #cs.LO