Specification and execution of multiagent missions.
Douglas C. MacKenzieJonathan M. CameronRonald C. ArkinPublished in: IROS (3) (1995)
Keyphrases
- multi agent
- multiagent systems
- control flow
- space exploration
- cooperative
- data flow
- exception handling
- databases
- intelligent agents
- active rules
- formal specification
- provably correct
- code generation
- execution model
- formal verification
- plan execution
- multiple agents
- multi agent systems
- high level
- neural network
- distributed constraint optimization
- real time
- stochastic games
- autonomous agents
- e learning
- data sets