Pages that link to "Item:Q2949859"
From MaRDI portal
The following pages link to Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859):
Displaying 3 items.
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Data-driven and model-based verification via Bayesian identification and reachability analysis (Q2409334) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
