1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 1 cited
Real-Time Synthesis is Hard!
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts +3
We study the reactive synthesis problem (RS) for specifications given in Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very general setting, but on infi…
cs.FL2013★ 1 cited
On MITL and alternating timed automata
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
One clock alternating timed automata OCATA have been recently introduced as natural extension of (one clock) timed automata to express the semantics of MTL (Ouaknine, Worrell 2005)…