40 search results - page 1 / 8 » On Flatness for 2-Dimensional Vector Addition Systems with S... |
CONCUR
2004
Springer
14 years 25 days ago
2004
Springer
ATAL
2003
Springer
14 years 20 days ago
2003
Springer
In this paper we present a genetic algorithm-based approach towards designing self-assembling objects comprised of square smart blocks. Each edge of each block can have one of thr...
ICALP
2010
Springer
14 years 6 days ago
2010
Springer
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...
ATVA
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
RP
2010
Springer
13 years 5 months ago
2010
Springer
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...