Pages that link to "Item:Q5200042"
From MaRDI portal
The following pages link to Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042):
Displaying 8 items.
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program (Q2843996) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs (Q3406693) (← links)
- Quantified Differential Dynamic Logic for Distributed Hybrid Systems (Q3586060) (← links)
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042) (← links)
- Differential Game Logic (Q5277902) (← links)