Verifying LTL Properties of Hybrid Systems with K-Liveness
Abstract elided by the publisher.
Related papers
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Falsification of LTL Safety Properties in Hybrid Systems TACAS 2009
- Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking CAV 2005
- Diamonds are not forever: liveness in reactive programming with guarded recursion POPL 2021
- Reducing liveness to safety in first-order logic POPL 2018
- Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems CAV 1995
- A Hybrid Algorithm for LTL Games VMCAI 2008
- Fair reactive programming POPL 2014