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...

Detaylı Bibliyografya
Asıl Yazarlar:	Karimov, T, Lefaucheux, E, Ouaknine, J, Purser, D, Varonka, A, Whiteland, MA, Worrell, J
Materyal Türü:	Conference item
Dil:	English
Baskı/Yayın Bilgisi:	Association for Computing Machinery 2022

Benzer Materyaller

The 2-dimensional constraint loop problem is decidable
Yazar:: Guilmant, Q, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

The Orbit Problem for parametric linear dynamical systems
Yazar:: Baier, C, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Deciding ω-regular properties on linear recurrence sequences
Yazar:: Almagor, S, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Porous invariants for linear systems
Yazar:: Lefaucheux, E, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
Yazar:: Baier, C, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

On the decidability of Presburger arithmetic expanded with powers
Yazar:: Karimov, T, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Porous invariants
Yazar:: Lefaucheux, E, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

On the decidability of reachability in linear time-invariant systems
Yazar:: Fijalkow, N, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

The pseudo-Skolem Problem is decidable
Yazar:: D'Costa, J, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

On the decidability of monadic second-order logic with arithmetic predicates
Yazar:: Berthé, V, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Safety metric temporal logic is fully decidable
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

On the decidability of Metric Temporal Logic
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

O-minimal invariants for linear loops
Yazar:: Almagor, S, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Termination of linear loops over the integers
Yazar:: Hosseini, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

On the decidability of membership in matrix-exponential semigroups
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

What is Decidable about Strings?
Yazar:: Ganesh, Vijay, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

On LTL model-checking for low-dimensional discrete linear dynamical systems
Yazar:: Karimov, T, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

On the decidability and complexity of Metric Temporal Logic over finite words
Yazar:: Joel Ouaknine, ve diğerleri
Baskı/Yayın Bilgisi: (2007-02-01)

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
Yazar:: D'Costa, J, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

On positivity and minimality for second-order holonomic sequences
Yazar:: Kenison, G, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
Yazar:: D'Costa, J, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Decidability and complexity results for timed automata via channel machines
Yazar:: Abdulla, P, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

What can you Decide about Resetable Arrays?
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

How fast can you escape a compact polytope?
Yazar:: D'Costa, J, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

What is decidable about string constraints with ReplaceAll function
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

The pseudo-reachability problem for diagonalisable linear dynamical systems
Yazar:: D'Costa, J, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Decision Problems for Linear Recurrence Sequences.
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Decidability boundaries in linear dynamical systems
Yazar:: de Sousa Pinto, J
Baskı/Yayın Bilgisi: (2017)

Deciding Bit−Vector Arithmetic with Abstraction
Yazar:: Bryant, R, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Invariants for continuous linear dynamical systems
Yazar:: Kelmendi, E, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

On the Monniaux Problem in abstract interpretation
Yazar:: Fijalkow, N, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

On recurrent reachability for continuous linear dynamical systems
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

On the skolem problem for continuous linear dynamical systems
Yazar:: Chonev, V, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

On the Skolem Problem for continuous linear dynamical systems
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

On recurrent reachability for continuous linear dynamical systems
Yazar:: Chonev, V, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

How to read a paper. Getting your bearings (deciding what the paper is about).
Yazar:: Greenhalgh, T
Baskı/Yayın Bilgisi: (1997)

Algebraic model checking for discrete linear dynamical systems
Yazar:: Luca, F, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Decidable Expansions of Labelled Linear Orderings
Yazar:: Alexis Bes, ve diğerleri
Baskı/Yayın Bilgisi: (2011-05-01)

When is containment decidable for probabilistic automata?
Yazar:: Daviaud, L, ve diğerleri
Baskı/Yayın Bilgisi: (2018)