Pages that link to "Item:Q3184689"
From MaRDI portal
The following pages link to Concavely-Priced Probabilistic Timed Automata (Q3184689):
Displaying 9 items.
- Expected reachability-time games (Q278757) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- Optimal reachability for multi-priced timed automata (Q2474054) (← links)
- Priced timed automata: theory and tools (Q2920149) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties (Q6104804) (← links)