Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
Abstract elided by the publisher.
Related papers
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- CADP - A Protocol Validation and Verification Toolbox CAV 1996
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- Hybrid Game Control Envelope Synthesis OOPSLA 2026
- UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis CAV 2022
- Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems CAV 2010
- A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamic Systems VMCAI 2026
- On-The-Fly Algorithm for Reachability in Parametric Timed Games TACAS 2024