2 citations · 4 across the 3 of their papers we have counts for
3 papers
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…
On MITL and alternating timed automata over infinite words
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
One clock alternating timed automata (OCATA) have been introduced as natural extension of (one clock) timed automata to express the semantics of MTL. In this paper, we consider the…
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)…