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

An Adaptive Task-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV.

Yongho KimJin-Woo JungEric T. Matson
Published in: FNC/MobiSPC (2015)
Keyphrases
  • multi robot
  • probabilistic model
  • em algorithm
  • model checking
  • multi robot systems