Pages that link to "Item:Q386604"
From MaRDI portal
The following pages link to Characterization and computation of infinite-horizon specifications over Markov processes (Q386604):
Displayed 6 items.
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← 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)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)