Pages that link to "Item:Q3543291"
From MaRDI portal
The following pages link to Timed Automata with Integer Resets: Language Inclusion and Expressiveness (Q3543291):
Displayed 7 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Timed Automata with Integer Resets: Language Inclusion and Expressiveness (Q3543291) (← links)
- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (Q3618627) (← links)
- An Introduction to Timed Automata (Q5496927) (← links)
- Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language (Q5859682) (← links)