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)