Pages that link to "Item:Q3648833"

The following pages link to Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833):

Displaying 23 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)
• Expressiveness and conciseness of timed automata for the verification of stochastic models (Q782571) (← links)
• Tweaking the odds in probabilistic timed automata (Q832050) (← links)
• Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
• A game approach to determinize timed automata (Q2018058) (← links)
• Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
• An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
• Automatic verification of competitive stochastic systems (Q2248068) (← 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 Real-Time Games with Qualitative Timed Automata Objectives (Q3584931) (← links)
• Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833) (← links)
• Space-bounded probabilistic game automata (Q4302843) (← links)
• (Q4636594) (← 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)