The following pages link to (Q4249561):
Displaying 31 items.
- Expected reachability-time games (Q278757) (← links)
- 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)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Optimal paths in weighted timed automata (Q596026) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- On subgame perfect equilibria in turn-based reachability timed games (Q1996016) (← links)
- Timed network games (Q2112796) (← links)
- Hierarchical planning in a supervisory control context with compositional abstraction (Q2128088) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← 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)
- Computing efficient operation schemes for chemical plants in multi-batch mode (Q2512166) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Performance Evaluation of Schedulers in a Probabilistic Setting (Q3172839) (← links)
- Model Checking Real-Time Systems (Q3176387) (← 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)
- (Q5005123) (← links)
- (Q5089309) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- (Q5094137) (← links)
- On Reachability Games of Ordinal Length (Q5448648) (← links)
- Time-optimal control for discrete-time hybrid automata (Q5707981) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
