The following pages link to (Q4736990):
Displaying 6 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Parametric metric interval temporal logic (Q483304) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- (Q4636594) (← links)