Pages that link to "Item:Q1583056"
From MaRDI portal
The following pages link to Timed automata and additive clock constraints (Q1583056):
Displayed 9 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- Updatable timed automata (Q1885906) (← links)
- Dynamic data structures for timed automata acceptance (Q2093569) (← links)
- A decidable class of planar linear hybrid systems (Q2257303) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Updatable Timed Automata with Additive and Diagonal Constraints (Q3507456) (← links)
- A menagerie of timed automata (Q5176174) (← links)