Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems.
Scott J. HarmonScott A. DeLoach RobbyPublished in: ESAW (2007)
Keyphrases
- multi agent systems
- multi agent
- game theory
- agent systems
- intelligent agents
- high level
- agent architecture
- cooperative
- specification language
- distributed problem solving
- coalition formation
- formal specification
- case law
- single agent
- agent technology
- software agents
- autonomous agents
- formal methods
- trust model
- formal verification
- control policies
- neural network