The following pages link to (Q4552463):
Displayed 26 items.
- MSO logics for weighted timed automata (Q548692) (← links)
- Optimal paths in weighted timed automata (Q596026) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← 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)
- Emptiness and Universality Problems in Timed Automata with Positive Frequency (Q3012924) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← 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)