The following pages link to (Q4249561):
Displayed 15 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- MR4UM: a framework for adding fault tolerance to UML state diagrams (Q391245) (← links)
- Optimal paths in weighted timed automata (Q596026) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← 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)