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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Blondin, M, Haase, CJ, Offtermatt, P
Format:	Conference item
Sprog:	English
Udgivet:	Springer 2021

Lignende værker

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

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

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

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

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

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

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

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

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

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

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

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

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

Functional Reachability
af: Ong, C, et al.
Udgivet: (2009)

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

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

CONVEXITY OF REACHABLE SETS OF QUASILINEAR SYSTEMS
af: Ivan Osipov
Udgivet: (2023-12-01)

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

Reachability and robust design in dynamic systems
af: Harwood, Stuart Maxwell
Udgivet: (2016)

Reachability problems for linear dynamical systems
af: Chonev, V
Udgivet: (2015)

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

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

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

On affine reachability problems
af: Jaax, S, et al.
Udgivet: (2020)

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

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

Reachability in Stochastic Timed Games.
af: Bouyer, P, et al.
Udgivet: (2009)

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

Reachability Analysis for Annotated Code
af: Janota, M, et al.
Udgivet: (2007)

Reachability and escape problems in linear dynamical systems
af: Dcosta, J
Udgivet: (2024)

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

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

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

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

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

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

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

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

Revisiting reachability in timed automata
af: Quaas, K, et al.
Udgivet: (2017)

Expected Reachability-Time Games.
af: Forejt, V, et al.
Udgivet: (2010)