Sciweavers

Share
6 search results - page 1 / 2
» The General Vector Addition System Reachability Problem by P...
Sort
View
LICS
2009
IEEE
10 years 5 months ago
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
Jérôme Leroux
RP
2010
Springer
150views Control Systems» more  RP 2010»
9 years 8 months ago
Rewriting Systems for Reachability in Vector Addition Systems with Pairs
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...
Paulin Jacobé de Naurois, Virgile Mogbil
ICALP
2010
Springer
10 years 3 months ago
Reachability Games on Extended Vector Addition Systems with States
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
Tomás Brázdil, Petr Jancar, Anton&ia...
NC
2010
159views Neural Networks» more  NC 2010»
9 years 8 months ago
Automata and processes on multisets of communicating objects
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
Linmin Yang, Yong Wang, Zhe Dang
FOSSACS
2016
Springer
4 years 6 months ago
Qualitative Analysis of VASS-Induced MDPs
We consider infinite-state Markov decision processes (MDPs) that are induced by extensions of vector addition systems with states (VASS). Verification conditions for these MDPs a...
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, A...
books