e : A Research Program for Autonomous Agent Behavior Specification and Analysis
Thomas C. Henderson, Patrick Dalton, Joseph L. Zachary · International Symposium on Intelligent Control · 1991
We describe 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, mid-level controllers to deal with the physical aspects of the world, and high-level representations for goals and plans. In this study, we focus on the mid-level control problem (e.g., obstacle avoidance, grasping, etc.) and explore: 1. the use of real-time programming languages as behavior specification tools,