Algebraic model checking for discrete linear dynamical systems
From MaRDI portal
Publication:2112097
DOI10.1007/978-3-031-15839-1_1OpenAlexW4293399521MaRDI QIDQ2112097
Florian Luca, James Worrell, Joël Ouaknine
Publication date: 18 January 2023
Full work available at URL: https://doi.org/10.1007/978-3-031-15839-1_1
model checkingorbit problemSkolem problemlinear recurrence sequencesdiscrete linear dynamical systems
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Certifying algorithms
- Positivity of third order linear recurrence sequences
- Occurrence of zero in a linear recursive sequence
- First-order orbit queries
- On multiphase-linear ranking functions
- Positivity of second order linear recurrent sequences
- On the linear ranking problem for integer linear-constraint loops
- Transition Invariants and Transition Predicate Abstraction for Program Termination
- Orbits of Linear Maps and Regular Languages
- On the Complexity of the Orbit Problem
- Weak Second‐Order Arithmetic and Finite Automata
- Polynomial-time algorithm for the orbit problem
- Deux propriétés décidables des suites récurrentes linéaires
- On the Positivity Problem for Simple Linear Recurrence Sequences,
- Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
- Computer Aided Verification
- The Polyhedron-Hitting Problem
- Positivity Problems for Low-Order Linear Recurrence Sequences
- The orbit problem in higher dimensions
- Ranking Functions for Linear-Constraint Loops
- Approximate Verification of the Symbolic Dynamics of Markov Chains
- Termination of Integer Linear Programs
- CONCUR 2005 – Concurrency Theory
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Algebraic model checking for discrete linear dynamical systems
