Pages that link to "Item:Q2385195"
From MaRDI portal
The following pages link to On the optimal reachability problem of weighted timed automata (Q2385195):
Displaying 27 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- MSO logics for weighted timed automata (Q548692) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- Timed automata relaxation for reachability (Q2044206) (← links)
- Costs and rewards in priced timed automata (Q2064528) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Timed network games (Q2112796) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← 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)
- (Q5002811) (← links)
- (Q5005123) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- (Q5101345) (← links)
- (Q5101350) (← links)
- (Q5111251) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
