Model Checking Polygonal Differential Inclusions Using Invariance Kernels
Abstract elided by the publisher.
Related papers
- Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools OOPSLA 2025
- A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets VMCAI 2015
- Decidability of Hybrid Systems with Rectangular Differential Inclusion CAV 1994
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF TACAS 2017
- SPeeDI - A Verification Tool for Polygonal Hybrid Systems CAV 2002
- Experience report: growing and shrinking polygons for random testing of computational geometry algorithms ICFP 2016
- Model Checking Differentially Private Properties APLAS 2018
- Characterizing Algebraic Invariants by Differential Radical Invariants TACAS 2014