7 citations · 31 across the 19 of their papers we have counts for
1 paper · 1 filter
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)…