Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
1 - 25 of 1
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 1 |
 |
Z [infinity] : a framework for reactive autonomous agent specification and analysis | We propose a framework for the specification and analysis of autonomous agents. In general, such agents require several levels of behavioral specifications, including low-level reflex actions, midlevel controllers to deal with the physical aspects of the world, and high-level representations for goa... | robots; control systems; real-time programming languages; graphical interactive tools; robotic systems | 1994-12 |
1 - 25 of 1