Gilles Geeraerts

1. On MITL and alternating timed automata
   2013/04/09 by Thomas Brihaye, Morgane Estiévenart, Brihaye, Thomas +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #semigroups and automata theory
2. On MITL and alternating timed automata over infinite words
   2014/06/17 by Thomas Brihaye, Brihaye, Thomas, Morgane Estiévenart +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
3. Adding Negative Prices to Priced Timed Games
   2014/04/23 by Thomas Brihaye, Brihaye, Thomas, Gilles Geeraerts +9 · 2 citations
   Computer Science · #Formal Methods in Verification #semigroups and automata theory #Logic, programming, and type systems