Pages that link to "Item:Q389835"
From MaRDI portal
The following pages link to Safety verification for probabilistic hybrid systems (Q389835):
Displaying 14 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)
- Safety verification for distributed parameter systems using barrier functionals (Q1678571) (← 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)
- Measurability and safety verification for stochastic hybrid systems (Q2986712) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)
- Efficient choice of parameters on delta-reachability bounded hybrid systems (Q5097076) (← links)
- Automated Machine-Checked Hybrid System Safety Proofs (Q5747654) (← links)
- Spread the work: multi-threaded safety analysis for hybrid systems (Q6039384) (← links)
- Bounded Verification of Reachability of Probabilistic Hybrid Systems (Q6104812) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction (Q6599370) (← links)
