The Church Synthesis Problem with Metric
Main Authors: | Jenkins, M, Ouaknine, J, Rabinovich, A, Worrell, J |
---|---|
Format: | Conference item |
Published: |
Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik
2011
|
Similar Items
-
The Church Synthesis Problem with Parameters
by: Alexander Rabinovich
Published: (2007-11-01) -
Some Recent Results in Metric Temporal Logic
by: Ouaknine, J, et al.
Published: (2008) -
On metric temporal logic and faulty turing machines
by: Ouaknine, J, et al.
Published: (2006) -
Safety metric temporal logic is fully decidable
by: Ouaknine, J, et al.
Published: (2006) -
Alternating Timed Automata over Bounded Time
by: Jenkins, M, et al.
Published: (2010)