Pages that link to "Item:Q845728"
From MaRDI portal
The following pages link to Folk theorems on the determinization and minimization of timed automata (Q845728):
Displaying 11 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Predictive runtime enforcement (Q2402553) (← links)
- Bounded Determinization of Timed Automata with Silent Transitions (Q2945604) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Timed Automata with Integer Resets: Language Inclusion and Expressiveness (Q3543291) (← links)
- (Q5089309) (← links)
- (Q5094137) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
