Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
From MaRDI portal
Publication:2964462
DOI10.1007/978-3-319-24246-0_12zbMath1471.68114arXiv1601.01648MaRDI QIDQ2964462
Viorica Sofronie-Stokkermans, Werner Damm, Matthias Horbach
Publication date: 27 February 2017
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1601.01648
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software
Cites Work
- Differential dynamic logic for hybrid systems
- Real addition and the polynomial hierarchy
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
- All for the Price of Few
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
- Towards Complete Reasoning about Axiomatic Specifications
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
- Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Reasoning about temporal relations
- Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems
- Automated Deduction – CADE-20
- Parameterized Synthesis
- On Local Reasoning in Verification
- Computer Aided Verification
- On Hierarchical Reasoning in Combinations of Theories
- Hierarchical Reasoning for the Verification of Parametric Systems
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning