Relational Abstractions for Continuous and Hybrid Systems
Abstract elided by the publisher.
Related papers
- Test Coverage for Continuous and Hybrid Systems CAV 2007
- SIGNAL as a Model for Real-Time and Hybrid Systems ESOP 1992
- Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis VMCAI 2016
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- HpC: A Calculus for Hybrid and Mobile Systems OOPSLA 2025
- Functional reactive programming, continued Haskell 2002