Morgane Estiévenart

1. On MITL and alternating timed automata
   2013/04/09 by Thomas Brihaye, Brihaye, Thomas, Morgane Estiévenart +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