The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Artificial Intelligence
A conversation with Marvin Minsky about agents
Communications of the ACM
Multiagent negotiation under time constraints
Artificial Intelligence
Role of the information infrastructure and intelligent agents in manufacturing enterprises
Journal of Organizational Computing
Teaching intelligent agents: the disciple approach
International Journal of Human-Computer Interaction
Intelligent multimedia repositories (IMRs) for project estimation and management: an empirical study
International Journal of Human-Computer Studies
International Journal of Human-Computer Studies
A distributed approach for multiple model diagnosis of physical systems
Information Sciences: an International Journal
The Science of Programming
An active message system
Hi-index | 0.00 |
This paper presents a system that can be used to verify properties of intelligent agents automatically. We use verification of active message logical routing as an example to illustrate the verification approach. The system can be used to verify intelligent agents in general. The system uses branching time temporal logic as foundation and employs a set of axioms, lemmas, and theorems that we developed to verify logical routing properties of active messages.