Verifying heterogeneous multi-agent programs.
Thu Trang DoanYuan YaoNatasha AlechinaBrian LoganPublished in: AAMAS (2014)
Keyphrases
- multi agent
- multi agent systems
- agent programming
- cooperative
- intelligent agents
- automatic programming
- model checking
- programming environment
- control structures
- metadata
- high level
- reinforcement learning
- multiagent systems
- single agent
- heterogeneous networks
- heterogeneous agents
- provably correct
- cooperative agents
- real time
- control program
- computer programs
- expert systems
- artificial intelligence
- neural network