Login / Signup
Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design.
Robert J. Hall
Published in:
Autom. Softw. Eng. (2002)
Keyphrases
</>
email
case study
multi agent
multi agent systems
agent architecture
high level
intelligent agents
conceptual model
agent oriented
control system
dynamic environments
autonomous agents
formal methods
user interface
bdi agents
controller synthesis