Verified Reachability Analysis of Continuous Systems
No abstract available.
Related papers
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection CPP 2015
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems CAV 2017
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations CAV 2022
- Generalized Property-Directed Reachability for Hybrid Systems VMCAI 2020
- Optimal Time-Bounded Reachability Analysis for Concurrent Systems TACAS 2019
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023