945 search results - page 114 / 189 » Evolving Symbolic Controllers |
DAC
1998
ACM
15 years 2 months ago
1998
ACM
Approximate reachability techniques trade o accuracy with the capacity to deal with bigger designs. Cho et al 3 proposed approximate FSM traversal algorithms over a partition of t...
ICRA
1993
IEEE
15 years 2 months ago
1993
IEEE
An issue central to the navigation problem is memory. Traditional systems build symbolic maps of the world for navigational reference. Reactive methods, in contrast, eliminate or m...
ECAIW
1994
Springer
15 years 1 months ago
1994
Springer
This paper describes the design and implementation of a layered agent architecture for decision support applications in general and for distributed medical care in particular. Thre...
LICS
1990
IEEE
15 years 1 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present an architecture for software agents that enables them to learn vocabulary through the observation of each other bodies and actions. Besides sensors, effe...