Automated Verification of Social Laws for Continuous Time Multi-Robot Systems.
Ronen NirErez KarpasPublished in: AAAI (2019)
Keyphrases
- multi robot systems
- automated verification
- social laws
- model checking
- multiagent planning
- multi agent systems
- agent societies
- automated reasoning
- multi robot
- multi agent
- formal verification
- mobile robot
- markov chain
- multiagent systems
- autonomous robots
- multiple robots
- graph theory
- dynamical systems
- state space
- cooperative
- optimal control
- knowledge representation
- path planning
- software agents
- game theory
- multiple agents
- mechanism design
- coalition formation
- learning algorithm
- search algorithm
- autonomous agents
- dynamic environments