The following pages link to (Q4673428):
Displaying 13 items.
- Stochastic game logic (Q715046) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- On Pure Nash Equilibria in Stochastic Games (Q2948480) (← links)
- Quantitative Multi-objective Verification for Probabilistic Systems (Q3000641) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (Q3519498) (← links)
- (Q5009450) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
