Verification of Context-Free Timed Systems Using Linear Hybrid Observers
Abstract elided by the publisher.
Related papers
- Using Abstractions for the Verification of Linear Hybrid Systems CAV 1994
- Verification of Linear Hybrid Systems by Means of Convex Approximations SAS 1994
- Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems CAV 2010
- Context-Free-Language Reachability for Almost-Commuting Transition Systems POPL 2026
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- Taming transitive redundancy for context-free language reachability OOPSLA 2022
- Linear types for large-scale systems verification OOPSLA 2022