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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Blondin, M, Haase, CJ, Offtermatt, P
Fformat:	Conference item
Iaith:	English
Cyhoeddwyd:	Springer 2021

Eitemau Tebyg

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States
gan: Haase, C, et al.
Cyhoeddwyd: (2017)

The reachability problem for two-dimensional vector addition systems with states
gan: Blondin, M, et al.
Cyhoeddwyd: (2021)

The Complexity of Reachability in Affine Vector Addition Systems with States
gan: Michael Blondin, et al.
Cyhoeddwyd: (2021-07-01)

Optimal Strategies in Infinite-state Stochastic Reachability Games
gan: Václav Brožek
Cyhoeddwyd: (2011-06-01)

Reachability for infinite time Turing machines with long tapes
gan: Merlin Carl, et al.
Cyhoeddwyd: (2020-04-01)

Reachability in Succinct and Parametric One−Counter Automata
gan: Haase, C, et al.
Cyhoeddwyd: (2009)

Reachability in Succinct and Parametric One-Counter Automata
gan: Haase, C, et al.
Cyhoeddwyd: (2009)

On the relationship between reachability problems in timed and counter automata
gan: Haase, C, et al.
Cyhoeddwyd: (2012)

On the Relationship between Reachability Problems in Timed and Counter Automata
gan: Haase, C, et al.
Cyhoeddwyd: (2012)

A polynomial-time algorithm for reachability in branching VASS in dimension one
gan: Göller, S, et al.
Cyhoeddwyd: (2016)

Verification of systems with behavior parallelism on the basis of the graph of reachable states
gan: Yu. V. Pottosin, et al.
Cyhoeddwyd: (2019-06-01)

Directed Model Checking for Fast Abstract Reachability Analysis
gan: Nakwon Lee, et al.
Cyhoeddwyd: (2021-01-01)

Affine extensions of integer vector addition systems with states
gan: Blondin, M, et al.
Cyhoeddwyd: (2018)

Functional Reachability
gan: Ong, C, et al.
Cyhoeddwyd: (2009)

Reachable states for the distributed control of the heat equation
gan: Chen, Mo, et al.
Cyhoeddwyd: (2022-06-01)

Reachability Analysis of Communicating Pushdown Systems
gan: Alexander Heussner, et al.
Cyhoeddwyd: (2012-09-01)

CONVEXITY OF REACHABLE SETS OF QUASILINEAR SYSTEMS
gan: Ivan Osipov
Cyhoeddwyd: (2023-12-01)

Reachability of dimension-bounded linear systems
gan: Yiliang Li, et al.
Cyhoeddwyd: (2023-01-01)

Reachability and robust design in dynamic systems
gan: Harwood, Stuart Maxwell
Cyhoeddwyd: (2016)

Reachability problems for linear dynamical systems
gan: Chonev, V
Cyhoeddwyd: (2015)

On state-space compression and state reachability retrieval of Petri nets
gan: Huorong Ren, et al.
Cyhoeddwyd: (2019-02-01)

Asymptotic orders of reachability in linear dynamic systems
gan: Özveren, Cüneyt M
Cyhoeddwyd: (2005)

Affine extensions of integer vector addition systems with states
gan: Blondin, M, et al.
Cyhoeddwyd: (2021)

On affine reachability problems
gan: Jaax, S, et al.
Cyhoeddwyd: (2020)

Reachability Switching Games
gan: John Fearnley, et al.
Cyhoeddwyd: (2021-04-01)

Constraint-based reachability
gan: Arnaud Gotlieb, et al.
Cyhoeddwyd: (2013-02-01)

Reachability in Stochastic Timed Games.
gan: Bouyer, P, et al.
Cyhoeddwyd: (2009)

Reachability under Contextual Locking
gan: Remi Bonnet, et al.
Cyhoeddwyd: (2013-09-01)

Reachability Analysis for Annotated Code
gan: Janota, M, et al.
Cyhoeddwyd: (2007)

Reachability and escape problems in linear dynamical systems
gan: Dcosta, J
Cyhoeddwyd: (2024)

Vector Addition System Reversible Reachability Problem
gan: Jérôme Leroux
Cyhoeddwyd: (2013-02-01)

Asymptotic orders of reachability in perturbed linear systems
Cyhoeddwyd: (2003)

Asymptotic orders of reachability in perturbed linear systems
Cyhoeddwyd: (2003)

On recurrent reachability for continuous linear dynamical systems
gan: Ouaknine, J, et al.
Cyhoeddwyd: (2016)

On recurrent reachability for continuous linear dynamical systems
gan: Chonev, V, et al.
Cyhoeddwyd: (2016)

On the decidability of reachability in linear time-invariant systems
gan: Fijalkow, N, et al.
Cyhoeddwyd: (2019)

Qualimetry of reachability and response of linear dynamic systems
gan: A. V. Voronin
Cyhoeddwyd: (2019-05-01)

Qualimetry of reachability and response of linear dynamic systems
gan: A. V. Voronin
Cyhoeddwyd: (2019-05-01)

Revisiting reachability in timed automata
gan: Quaas, K, et al.
Cyhoeddwyd: (2017)

Expected Reachability-Time Games.
gan: Forejt, V, et al.
Cyhoeddwyd: (2010)