Pages that link to "Item:Q2385195"
From MaRDI portal
The following pages link to On the optimal reachability problem of weighted timed automata (Q2385195):
Displayed 16 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)
- 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)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)