Using Redundant Constraints for Refinement
From MaRDI portal
Publication:4931281
DOI10.1007/978-3-642-15643-4_5zbMath1305.68117OpenAlexW1561907491MaRDI QIDQ4931281
Thao Dang, Eugene Asarin, Oded Maler, Romain Testylier
Publication date: 4 October 2010
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15643-4_5
Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (3)
Verification of Hybrid Systems ⋮ Counterexample-Guided Refinement of Template Polyhedra ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
Uses Software
This page was built for publication: Using Redundant Constraints for Refinement
