Tackling the Curse of Dimensionality in Large-scale Multi-agent LTL Task Planning via Poset Product.
Zesen LiuMeng GuoZhongkui LiPublished in: CoRR (2023)
Keyphrases
- multi agent
- production planning
- temporally extended goals
- single agent
- small scale
- multi agent planning
- planning under uncertainty
- model checking
- real world
- product quality
- temporal logic
- partial order
- multiagent systems
- cooperative
- life cycle
- planning problems
- heuristic search
- ai planning
- partially ordered
- classical planning
- decision support
- reactive agents
- bounded model checking
- deterministic automata
- linear temporal logic
- multi agent systems
- domain independent
- reinforcement learning