Constructive Formalization of Hybrid Logic with Eventualities
No abstract available.
DOI 10.1007/978-3-642-25379-9_3
Related papers
- Formally verified differential dynamic logic CPP 2017
- A linear logical framework in hybrid (invited talk) CPP 2019
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019
- Synthesis of reactive controllers for hybrid systems (keynote) POPL 2016
- A Temporal Differential Dynamic Logic Formal Embedding CPP 2024
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- Discounting in LTL TACAS 2014