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 5 items.
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097) (← 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)