Mathieu Lehaut
- Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
2023/05/04 by Daniel Hausmann, Hausmann, Daniel, Mathieu Lehaut +3 · 1 citation
Computer Science · #Artificial Intelligence in Games #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems