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):
Displaying 7 items.
- Data-efficient Bayesian verification of parametric Markov chains (Q1693116) (← links)
- Reachability design through approximate Bayesian computation (Q2326594) (← links)
- Dual adaptive model predictive control (Q2407209) (← links)
- Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← links)
- Case Studies in Data-Driven Verification of Dynamical Systems (Q2988966) (← links)
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis (Q4561447) (← links)
- Probabilistic reach-avoid for Bayesian neural networks (Q6592977) (← links)