Pages that link to "Item:Q389835"
From MaRDI portal
The following pages link to Safety verification for probabilistic hybrid systems (Q389835):
Displaying 7 items.
- Discussion on: ``Safety verification for probabilistic hybrid systems'' (Q389836) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- A hybrid automata model of social networking addiction (Q1785868) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Efficient choice of parameters on delta-reachability bounded hybrid systems (Q5097076) (← links)
