2632 search results - page 122 / 527 » Alternating Timed Automata |
138
click to vote
IJAC
2007
15 years 3 months ago
2007
There exist two well-known quotients of the position automaton of a regular expression. The first one, called the equation automaton, has first been introduced by Mirkin from th...
103
Voted
RAS
2006
15 years 3 months ago
2006
Self-reconfigurable robots are built from modules, which are autonomously able to change the way they are connected. Such a robot can, through this self-reconfiguration process, c...
94
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
148
click to vote
ATAL
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
120
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...