512 search results - page 9 / 103 » Automata as Abstractions |
TSE
2008
13 years 7 months ago
2008
LICS
2012
IEEE
11 years 11 months ago
2012
IEEE
CONCUR
2012
Springer
11 years 11 months ago
2012
Springer
FUIN
2002
13 years 8 months ago
2002
Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability.
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The extension of the Wagner hierarchy to blind counter automata accepting infinite words with a Muller acceptance condition is effective. We determine precisely this hier...