Benjamin Monmege
- 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
- 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