Morgane Estiévenart

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

First Order Logic

Top Venues

Publications

Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
Real-Time Synthesis is Hard! FORMATS (2016)
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
Real-Time Synthesis is Hard! CoRR (2016)
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
On MITL and alternating timed automata over infinite words. CoRR (2014)
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
On MITL and Alternating Timed Automata over Infinite Words. FORMATS (2014)
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
On MITL and alternating timed automata CoRR (2013)
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
On MITL and Alternating Timed Automata. FORMATS (2013)