Formal Verification of Ethical Properties in Multiagent Systems.
Bruno MermetGaële SimonPublished in: EDIA@ECAI (2016)
Keyphrases
- multiagent systems
- formal verification
- multi agent
- model checking
- autonomous agents
- distributed artificial intelligence
- multiagent architecture
- symbolic model checking
- model checker
- multiagent reinforcement learning
- multi agent systems
- multiagent planning
- coalition formation
- multiagent learning
- automated verification
- bounded model checking
- agent coordination
- robotic soccer
- learning in multi agent systems
- design methodologies
- adjustable autonomy
- incomplete information
- resource allocation
- cooperative