Pages that link to "Item:Q2409334"
From MaRDI portal
The following pages link to Data-driven and model-based verification via Bayesian identification and reachability analysis (Q2409334):
Displayed 4 items.
- Dual adaptive model predictive control (Q2407209) (← links)
- Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← links)
- Strategy synthesis for partially-known switched stochastic systems (Q6201583) (← links)
- Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱ (Q6202108) (← links)