Cooperative Planning for Coupled Multi-Agent Systems under Timed Temporal Specifications.
Alexandros NikouDimitris BoskosJana TumovaDimos V. DimarogonasPublished in: CoRR (2016)
Keyphrases
- multi agent systems
- cooperative
- distributed problem solving
- constraint reasoning
- game theory
- multi agent
- multiagent environments
- temporal constraints
- temporal information
- single agent
- bounded model checking
- autonomous agents
- spatio temporal
- petri net
- high level
- temporal planning
- coalition formation
- linear temporal logic
- temporal databases
- finite state machines
- complex systems
- domain independent
- software agents
- temporal data
- temporal reasoning
- spatial and temporal
- goal oriented
- decision support
- agent systems
- plan generation
- agent architecture
- computational logic
- video sequences
- agent communication
- ai planning
- intelligent agents
- agent technology
- temporal patterns
- blocks world
- temporal evolution
- reactive systems
- planning problems
- multi agent reinforcement learning
- heuristic search
- motion planning