Login / Signup

Decomposition of multi-agent planning under distributed motion and task LTL specifications.

Jana TumovaDimos V. Dimarogonas
Published in: CDC (2015)
Keyphrases
  • multi agent planning
  • multi agent
  • bounded model checking
  • partial observability
  • distributed systems
  • agent programming
  • cooperative
  • model checking
  • human motion
  • mobile agents
  • linear temporal logic
  • control program