Morgane Esti\'evenart

Identifiers

• name variant Morgane Esti\'evenart 0.60 · backfill

Papers (3)

1. Real-Time Synthesis is Hard! cs.LO · 2016 · author #2
2. On MITL and alternating timed automata over infinite words cs.LO · 2014 · author #2
3. On MITL and alternating timed automata cs.FL · 2013 · author #2

Mentions

• 1406.4395 #2 · backfill · confidence 0.70 Morgane Esti\'evenart
• 1304.2814 #2 · backfill · confidence 0.70 Morgane Esti\'evenart

Frequent Coauthors

• Gilles Geeraerts 3 shared papers
• Thomas Brihaye 3 shared papers
• Benjamin Monmege 1 shared papers
• Hsi-Ming Ho 1 shared papers
• Nathalie Sznajder 1 shared papers