What's decidable about linear loops?

What's decidable about linear loops?

We consider the MSO model-checking problem for simple linear loops, or equivalently discrete-time linear dynamical systems, with semialgebraic predicates (i.e., Boolean combinations of polynomial inequalities on the variables). We place no restrictions on the number of program variables, or equivale...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Karimov, T, Lefaucheux, E, Ouaknine, J, Purser, D, Varonka, A, Whiteland, MA, Worrell, J
स्वरूप:	Conference item
भाषा:	English
प्रकाशित:	Association for Computing Machinery 2022

समान संसाधन

The 2-dimensional constraint loop problem is decidable
द्वारा: Guilmant, Q, और अन्य
प्रकाशित: (2024)

The Orbit Problem for parametric linear dynamical systems
द्वारा: Baier, C, और अन्य
प्रकाशित: (2021)

Deciding ω-regular properties on linear recurrence sequences
द्वारा: Almagor, S, और अन्य
प्रकाशित: (2021)

Porous invariants for linear systems
द्वारा: Lefaucheux, E, और अन्य
प्रकाशित: (2024)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
द्वारा: Baier, C, और अन्य
प्रकाशित: (2022)

On the decidability of Presburger arithmetic expanded with powers
द्वारा: Karimov, T, और अन्य
प्रकाशित: (2025)

Porous invariants
द्वारा: Lefaucheux, E, और अन्य
प्रकाशित: (2021)

On the decidability of reachability in linear time-invariant systems
द्वारा: Fijalkow, N, और अन्य
प्रकाशित: (2019)

The pseudo-Skolem Problem is decidable
द्वारा: D'Costa, J, और अन्य
प्रकाशित: (2021)

On the decidability of monadic second-order logic with arithmetic predicates
द्वारा: Berthé, V, और अन्य
प्रकाशित: (2024)

Safety metric temporal logic is fully decidable
द्वारा: Ouaknine, J, और अन्य
प्रकाशित: (2006)

On the decidability of Metric Temporal Logic
द्वारा: Ouaknine, J, और अन्य
प्रकाशित: (2005)

O-minimal invariants for linear loops
द्वारा: Almagor, S, और अन्य
प्रकाशित: (2018)

Termination of linear loops over the integers
द्वारा: Hosseini, M, और अन्य
प्रकाशित: (2019)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
द्वारा: Ouaknine, J, और अन्य
प्रकाशित: (2007)

On the decidability of membership in matrix-exponential semigroups
द्वारा: Ouaknine, J, और अन्य
प्रकाशित: (2019)

What is Decidable about Strings?
द्वारा: Ganesh, Vijay, और अन्य
प्रकाशित: (2011)

On LTL model-checking for low-dimensional discrete linear dynamical systems
द्वारा: Karimov, T, और अन्य
प्रकाशित: (2020)

On the decidability and complexity of Metric Temporal Logic over finite words
द्वारा: Joel Ouaknine, और अन्य
प्रकाशित: (2007-02-01)

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
द्वारा: D'Costa, J, और अन्य
प्रकाशित: (2021)

On positivity and minimality for second-order holonomic sequences
द्वारा: Kenison, G, और अन्य
प्रकाशित: (2021)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
द्वारा: D'Costa, J, और अन्य
प्रकाशित: (2022)

Decidability and complexity results for timed automata via channel machines
द्वारा: Abdulla, P, और अन्य
प्रकाशित: (2005)

What can you Decide about Resetable Arrays?
द्वारा: Roscoe, A, और अन्य
प्रकाशित: (2001)

How fast can you escape a compact polytope?
द्वारा: D'Costa, J, और अन्य
प्रकाशित: (2020)

What is decidable about string constraints with ReplaceAll function
द्वारा: Chen, T, और अन्य
प्रकाशित: (2017)

The pseudo-reachability problem for diagonalisable linear dynamical systems
द्वारा: D'Costa, J, और अन्य
प्रकाशित: (2022)

Decision Problems for Linear Recurrence Sequences.
द्वारा: Ouaknine, J, और अन्य
प्रकाशित: (2012)

Decidability boundaries in linear dynamical systems
द्वारा: de Sousa Pinto, J
प्रकाशित: (2017)

Deciding Bit−Vector Arithmetic with Abstraction
द्वारा: Bryant, R, और अन्य
प्रकाशित: (2007)

Invariants for continuous linear dynamical systems
द्वारा: Kelmendi, E, और अन्य
प्रकाशित: (2020)

On the Monniaux Problem in abstract interpretation
द्वारा: Fijalkow, N, और अन्य
प्रकाशित: (2019)

On recurrent reachability for continuous linear dynamical systems
द्वारा: Ouaknine, J, और अन्य
प्रकाशित: (2016)

On the skolem problem for continuous linear dynamical systems
द्वारा: Chonev, V, और अन्य
प्रकाशित: (2016)

On the Skolem Problem for continuous linear dynamical systems
द्वारा: Ouaknine, J, और अन्य
प्रकाशित: (2016)

On recurrent reachability for continuous linear dynamical systems
द्वारा: Chonev, V, और अन्य
प्रकाशित: (2016)

How to read a paper. Getting your bearings (deciding what the paper is about).
द्वारा: Greenhalgh, T
प्रकाशित: (1997)

Algebraic model checking for discrete linear dynamical systems
द्वारा: Luca, F, और अन्य
प्रकाशित: (2022)

Decidable Expansions of Labelled Linear Orderings
द्वारा: Alexis Bes, और अन्य
प्रकाशित: (2011-05-01)

When is containment decidable for probabilistic automata?
द्वारा: Daviaud, L, और अन्य
प्रकाशित: (2018)