Morgane Estiévenart

According to our database, Morgane Estiévenart authored at least 3 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Real-Time Synthesis is Hard!

Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2014

On MITL and Alternating Timed Automata over Infinite Words.

Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013

On MITL and Alternating Timed Automata.

Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013