Pages that link to "Item:Q3000613"
From MaRDI portal
The following pages link to A Game Approach to Determinize Timed Automata (Q3000613):
Displayed 6 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Active learning of timed automata with unobservable resets (Q1996023) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Synthesising succinct strategies in safety games with an application to real-time scheduling (Q2636511) (← links)
- Bounded Determinization of Timed Automata with Silent Transitions (Q2945604) (← links)