Pages that link to "Item:Q3648833"
From MaRDI portal
The following pages link to Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833):
Displayed 16 items.
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (Q2814125) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions (Q3447704) (← links)
- Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
- Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties (Q6104804) (← links)