Porous invariants
From MaRDI portal
Publication:832262
DOI10.1007/978-3-030-81688-9_8zbMath1493.68117arXiv2106.00662OpenAlexW4252292105MaRDI QIDQ832262
David Purser, Engel Lefaucheux, Joël Ouaknine, James Worrell
Publication date: 25 March 2022
Full work available at URL: https://arxiv.org/abs/2106.00662
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time
- Affine relationships among variables of a program
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- On the decidability of the existence of polyhedral invariants in transition systems
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- Reachability in Register Machines with Polynomial Updates
- Undecidability of infinite post correspondence problem for instances of size 8
- Undecidability of infinite post correspondence problem for instances of Size 9
- Polynomial-time algorithm for the orbit problem
- Fast Acceleration of Ultimately Periodic Relations
- A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
- Decision Problems for Linear Recurrence Sequences
- O-Minimal Invariants for Discrete-Time Dynamical Systems
- Polynomial Invariants for Affine Programs
- Vector addition system reachability problem
- Bounded Algol-Like Languages
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
This page was built for publication: Porous invariants
