• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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