The following pages link to (Q4552463):
Displayed 18 items.
- Optimal paths in weighted timed automata (Q596026) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- On using priced timed automata to achieve optimal scheduling (Q853729) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← 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)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)
- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)