Pages that link to "Item:Q5347900"
From MaRDI portal
The following pages link to Approximate Abstractions of Stochastic Hybrid Systems (Q5347900):
Displayed 11 items.
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Interacting particle system based estimation of reach probability of general stochastic hybrid systems (Q2677118) (← links)
- Random assignment versus fixed assignment in multilevel importance splitting for estimating stochastic reach probabilities (Q2684914) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)