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

書誌詳細
主要な著者:	Blondin, M, Haase, CJ, Offtermatt, P
フォーマット:	Conference item
言語:	English
出版事項:	Springer 2021

類似資料

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States
著者:: Haase, C, 等
出版事項: (2017)

The reachability problem for two-dimensional vector addition systems with states
著者:: Blondin, M, 等
出版事項: (2021)

The Complexity of Reachability in Affine Vector Addition Systems with States
著者:: Michael Blondin, 等
出版事項: (2021-07-01)

Optimal Strategies in Infinite-state Stochastic Reachability Games
著者:: Václav Brožek
出版事項: (2011-06-01)

Reachability for infinite time Turing machines with long tapes
著者:: Merlin Carl, 等
出版事項: (2020-04-01)

Reachability in Succinct and Parametric One−Counter Automata
著者:: Haase, C, 等
出版事項: (2009)

Reachability in Succinct and Parametric One-Counter Automata
著者:: Haase, C, 等
出版事項: (2009)

On the relationship between reachability problems in timed and counter automata
著者:: Haase, C, 等
出版事項: (2012)

On the Relationship between Reachability Problems in Timed and Counter Automata
著者:: Haase, C, 等
出版事項: (2012)

A polynomial-time algorithm for reachability in branching VASS in dimension one
著者:: Göller, S, 等
出版事項: (2016)

Verification of systems with behavior parallelism on the basis of the graph of reachable states
著者:: Yu. V. Pottosin, 等
出版事項: (2019-06-01)

Directed Model Checking for Fast Abstract Reachability Analysis
著者:: Nakwon Lee, 等
出版事項: (2021-01-01)

Affine extensions of integer vector addition systems with states
著者:: Blondin, M, 等
出版事項: (2018)

Functional Reachability
著者:: Ong, C, 等
出版事項: (2009)

Reachable states for the distributed control of the heat equation
著者:: Chen, Mo, 等
出版事項: (2022-06-01)

Reachability Analysis of Communicating Pushdown Systems
著者:: Alexander Heussner, 等
出版事項: (2012-09-01)

CONVEXITY OF REACHABLE SETS OF QUASILINEAR SYSTEMS
著者:: Ivan Osipov
出版事項: (2023-12-01)

Reachability of dimension-bounded linear systems
著者:: Yiliang Li, 等
出版事項: (2023-01-01)

Reachability and robust design in dynamic systems
著者:: Harwood, Stuart Maxwell
出版事項: (2016)

Reachability problems for linear dynamical systems
著者:: Chonev, V
出版事項: (2015)

On state-space compression and state reachability retrieval of Petri nets
著者:: Huorong Ren, 等
出版事項: (2019-02-01)

Asymptotic orders of reachability in linear dynamic systems
著者:: Özveren, Cüneyt M
出版事項: (2005)

Affine extensions of integer vector addition systems with states
著者:: Blondin, M, 等
出版事項: (2021)

On affine reachability problems
著者:: Jaax, S, 等
出版事項: (2020)

Reachability Switching Games
著者:: John Fearnley, 等
出版事項: (2021-04-01)

Constraint-based reachability
著者:: Arnaud Gotlieb, 等
出版事項: (2013-02-01)

Reachability in Stochastic Timed Games.
著者:: Bouyer, P, 等
出版事項: (2009)

Reachability under Contextual Locking
著者:: Remi Bonnet, 等
出版事項: (2013-09-01)

Reachability Analysis for Annotated Code
著者:: Janota, M, 等
出版事項: (2007)

Reachability and escape problems in linear dynamical systems
著者:: Dcosta, J
出版事項: (2024)

Vector Addition System Reversible Reachability Problem
著者:: Jérôme Leroux
出版事項: (2013-02-01)

Asymptotic orders of reachability in perturbed linear systems
出版事項: (2003)

Asymptotic orders of reachability in perturbed linear systems
出版事項: (2003)

On recurrent reachability for continuous linear dynamical systems
著者:: Ouaknine, J, 等
出版事項: (2016)

On recurrent reachability for continuous linear dynamical systems
著者:: Chonev, V, 等
出版事項: (2016)

On the decidability of reachability in linear time-invariant systems
著者:: Fijalkow, N, 等
出版事項: (2019)

Qualimetry of reachability and response of linear dynamic systems
著者:: A. V. Voronin
出版事項: (2019-05-01)

Qualimetry of reachability and response of linear dynamic systems
著者:: A. V. Voronin
出版事項: (2019-05-01)

Revisiting reachability in timed automata
著者:: Quaas, K, 等
出版事項: (2017)

Expected Reachability-Time Games.
著者:: Forejt, V, 等
出版事項: (2010)