2465 search results - page 20 / 493 » Automata on Linear Orderings |
TACAS
2001
Springer
14 years 4 days ago
2001
Springer
CORR
2010
Springer
13 years 7 months ago
2010
Springer
AMAI
2006
Springer
13 years 7 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...