The following pages link to (Q4249561):
Displayed 11 items.
- Optimal paths in weighted timed automata (Q596026) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
- Performance Evaluation of Schedulers in a Probabilistic Setting (Q3172839) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- Supervisory target control for hybrid systems (Q4459051) (← links)
- On Reachability Games of Ordinal Length (Q5448648) (← links)
- Time-optimal control for discrete-time hybrid automata (Q5707981) (← links)