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):
Displaying 8 items.
- Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- \textsc{LTL} falsification in infinite-state systems (Q2105460) (← 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)
