What's decidable about discrete linear dynamical systems? (Q6113969)
From MaRDI portal
scientific article; zbMATH DE number 7724849
Language | Label | Description | Also known as |
---|---|---|---|
English | What's decidable about discrete linear dynamical systems? |
scientific article; zbMATH DE number 7724849 |
Statements
What's decidable about discrete linear dynamical systems? (English)
0 references
10 August 2023
0 references
discrete linear dynamical systems
0 references
model checking
0 references
invariant generation
0 references
orbit problem
0 references
linear recurrence sequences
0 references
Skolem problem
0 references