A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx
Abstract elided by the publisher.
Related papers
- Feature-Guided Black-Box Safety Testing of Deep Neural Networks TACAS 2018
- Region analysis and a pi-calculus with groups JFP 2002
- SpaceEx: Scalable Verification of Hybrid Systems CAV 2011
- Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities OOPSLA 2026
- Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training VMCAI 2024
- Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata VMCAI 2022
- Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage TACAS 2024
- Recursive State Machine Guided Graph Folding for Context-Free Language Reachability PLDI 2023