The following pages link to (Q4673428):
Displaying 20 items.
- Stochastic game logic (Q715046) (← links)
- Some aspects of synthesis of probabilistic fuzzy controllers (Q800859) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- On a probabilistic approach to synthesize control policies from example datasets (Q2071969) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Generalized control systems in the space of probability measures (Q2413576) (← 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)
- Generalised Probabilistic Control Design for Uncertain Stochastic Control Systems (Q4620366) (← links)
- (Q5009450) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards (Q6487330) (← links)
- Deductive controller synthesis for probabilistic hyperproperties (Q6546464) (← links)
