Multi-agent plan reconfiguration under local LTL specifications.
Meng GuoDimos V. DimarogonasPublished in: Int. J. Robotics Res. (2015)
Keyphrases
- multi agent
- bounded model checking
- multi agent planning
- model checking
- multi agent systems
- transition systems
- temporal logic
- cooperative
- formal verification
- formal specification
- linear temporal logic
- concurrent systems
- reinforcement learning
- plan generation
- coalition formation
- multiagent systems
- high level
- delay insensitive
- planning domains
- autonomous agents
- intelligent agents
- specification language
- reactive systems
- holonic manufacturing systems
- plan recognition
- temporally extended goals
- cooperative agents
- heterogeneous agents
- deterministic automata
- case based planning
- agent communication
- model checker
- planning process
- classical planning
- plan execution
- control flow
- functional requirements
- ai planning
- multiple agents
- manufacturing systems
- software engineering