Searching for "Are Timed Automata Updatable?" – sorted by Relevance.
-
Are Timed Automata Updatable?
- P. Bouyer, C. Dufourd, E. Fleury and A. Petit Are Timed Automata Updatable? Research Report LSV
- Cited by 29 (10 self) – Add To MetaCart
-
Updatable Timed Automata, an Algorithmic Approach
- P. Bouyer Updatable Timed Automata, an Algorithmic Approach Research Report LSV-01-12, Dec. 2001
- Cited by 1 (0 self) – Add To MetaCart
-
A New Algorithm to Decide Emptiness of Updatable Timed Automata
- P. Bouyer A New Algorithm to Decide Emptiness of Updatable Timed Automata Research Report LSV-00
- Cited by 1 (1 self) – Add To MetaCart
-
A Kleene/Büchi-like Theorem for Clock Languages
- recognized by (updatable) timed automata. Keywords: Kleene Theorem, Timed languages 1. Introduction
- Cited by 7 (2 self) – Add To MetaCart

