Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable
From MaRDI portal
Publication:3569093
DOI10.1007/978-3-642-13562-0_36zbMath1284.68415OpenAlexW2108345361MaRDI QIDQ3569093
Publication date: 17 June 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-13562-0_36
Related Items
Incremental Computation of Succinct Abstractions for Hybrid Systems ⋮ Verification of Hybrid Systems ⋮ Safety verification for probabilistic hybrid systems ⋮ \(\epsilon\)-semantics computations on biological systems ⋮ Safety verification of non-linear hybrid systems is quasi-decidable ⋮ Quasi-decidability of a fragment of the first-order theory of real numbers