Pages that link to "Item:Q2985889"
From MaRDI portal
The following pages link to On the connections between PCTL and dynamic programming (Q2985889):
Displaying 7 items.
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Maximizing the probability of attaining a target prior to extinction (Q547917) (← 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)
- Stochastic system controller synthesis for reachability specifications encoded by random sets (Q2628510) (← links)
