Directed reachability for infinite-state systems

Directed reachability for infinite-state systems

Numerous tasks in program analysis and synthesis reduce to deciding reachability in possibly infinite graphs such as those induced by Petri nets. However, the Petri net reachability problem has recently been shown to require non-elementary time, which raises questions about the practical applicabili...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Blondin, M, Haase, CJ, Offtermatt, P
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Springer 2021

Míreanna comhchosúla

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2017)

The reachability problem for two-dimensional vector addition systems with states
de réir: Blondin, M, et al.
Foilsithe / Cruthaithe: (2021)

The Complexity of Reachability in Affine Vector Addition Systems with States
de réir: Michael Blondin, et al.
Foilsithe / Cruthaithe: (2021-07-01)

Optimal Strategies in Infinite-state Stochastic Reachability Games
de réir: Václav Brožek
Foilsithe / Cruthaithe: (2011-06-01)

Reachability for infinite time Turing machines with long tapes
de réir: Merlin Carl, et al.
Foilsithe / Cruthaithe: (2020-04-01)

Reachability in Succinct and Parametric One−Counter Automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2009)

Reachability in Succinct and Parametric One-Counter Automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2009)

On the relationship between reachability problems in timed and counter automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2012)

On the Relationship between Reachability Problems in Timed and Counter Automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2012)

A polynomial-time algorithm for reachability in branching VASS in dimension one
de réir: Göller, S, et al.
Foilsithe / Cruthaithe: (2016)

Verification of systems with behavior parallelism on the basis of the graph of reachable states
de réir: Yu. V. Pottosin, et al.
Foilsithe / Cruthaithe: (2019-06-01)

Directed Model Checking for Fast Abstract Reachability Analysis
de réir: Nakwon Lee, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Affine extensions of integer vector addition systems with states
de réir: Blondin, M, et al.
Foilsithe / Cruthaithe: (2018)

Functional Reachability
de réir: Ong, C, et al.
Foilsithe / Cruthaithe: (2009)

Reachable states for the distributed control of the heat equation
de réir: Chen, Mo, et al.
Foilsithe / Cruthaithe: (2022-06-01)

Reachability Analysis of Communicating Pushdown Systems
de réir: Alexander Heussner, et al.
Foilsithe / Cruthaithe: (2012-09-01)

CONVEXITY OF REACHABLE SETS OF QUASILINEAR SYSTEMS
de réir: Ivan Osipov
Foilsithe / Cruthaithe: (2023-12-01)

Reachability of dimension-bounded linear systems
de réir: Yiliang Li, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Reachability and robust design in dynamic systems
de réir: Harwood, Stuart Maxwell
Foilsithe / Cruthaithe: (2016)

Reachability problems for linear dynamical systems
de réir: Chonev, V
Foilsithe / Cruthaithe: (2015)

On state-space compression and state reachability retrieval of Petri nets
de réir: Huorong Ren, et al.
Foilsithe / Cruthaithe: (2019-02-01)

Asymptotic orders of reachability in linear dynamic systems
de réir: Özveren, Cüneyt M
Foilsithe / Cruthaithe: (2005)

Affine extensions of integer vector addition systems with states
de réir: Blondin, M, et al.
Foilsithe / Cruthaithe: (2021)

On affine reachability problems
de réir: Jaax, S, et al.
Foilsithe / Cruthaithe: (2020)

Reachability Switching Games
de réir: John Fearnley, et al.
Foilsithe / Cruthaithe: (2021-04-01)

Constraint-based reachability
de réir: Arnaud Gotlieb, et al.
Foilsithe / Cruthaithe: (2013-02-01)

Reachability in Stochastic Timed Games.
de réir: Bouyer, P, et al.
Foilsithe / Cruthaithe: (2009)

Reachability under Contextual Locking
de réir: Remi Bonnet, et al.
Foilsithe / Cruthaithe: (2013-09-01)

Reachability Analysis for Annotated Code
de réir: Janota, M, et al.
Foilsithe / Cruthaithe: (2007)

Reachability and escape problems in linear dynamical systems
de réir: Dcosta, J
Foilsithe / Cruthaithe: (2024)

Vector Addition System Reversible Reachability Problem
de réir: Jérôme Leroux
Foilsithe / Cruthaithe: (2013-02-01)

Asymptotic orders of reachability in perturbed linear systems
Foilsithe / Cruthaithe: (2003)

Asymptotic orders of reachability in perturbed linear systems
Foilsithe / Cruthaithe: (2003)

On recurrent reachability for continuous linear dynamical systems
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2016)

On recurrent reachability for continuous linear dynamical systems
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2016)

On the decidability of reachability in linear time-invariant systems
de réir: Fijalkow, N, et al.
Foilsithe / Cruthaithe: (2019)

Qualimetry of reachability and response of linear dynamic systems
de réir: A. V. Voronin
Foilsithe / Cruthaithe: (2019-05-01)

Qualimetry of reachability and response of linear dynamic systems
de réir: A. V. Voronin
Foilsithe / Cruthaithe: (2019-05-01)

Revisiting reachability in timed automata
de réir: Quaas, K, et al.
Foilsithe / Cruthaithe: (2017)

Expected Reachability-Time Games.
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2010)