2632 search results - page 2 / 527 » Alternating Timed Automata |
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
IJFCS
2008
13 years 11 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
HYBRID
1998
Springer
14 years 3 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
FM
2005
Springer
14 years 4 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
MFCS
2001
Springer
14 years 3 months ago
2001
Springer
We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating automata with quadratic blow-up. We first describe the construction for automata on fin...