A Hybrid Denotational Semantics for Hybrid Systems
No abstract available.
Related papers
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata VMCAI 2022
- Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification CAV 2019
- Semantics for variational Quantum programming POPL 2022
- Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection OOPSLA 2023
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems VMCAI 2013
- Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis VMCAI 2016
- Verification of Hybrid Systems CAV 2007