Pages that link to "Item:Q3426788"
From MaRDI portal
The following pages link to GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS (Q3426788):
Displayed 4 items.
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Incremental Computation of Succinct Abstractions for Hybrid Systems (Q3172856) (← links)
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)