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

Yongho Kim, Jin-Woo Jung, Eric T. Matson

Browse the full FNC paper archive.