Login / Signup

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