Pages that link to "Item:Q515573"
From MaRDI portal
The following pages link to Quantitative model-checking of controlled discrete-time Markov processes (Q515573):
Displaying 9 items.
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
- Discrete-time hybrid control in Borel spaces: average cost optimality criterion (Q1746693) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Qualitative controller synthesis for consumption Markov decision processes (Q2226753) (← links)
- Optimal schedulers vs optimal bases: an approach for efficient exact solving of Markov decision processes (Q2453111) (← links)
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (Q3519498) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)