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

Yongho Kim, Jin-Woo Jung, Eric T. Matson. An Adaptive Task-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV. In The 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, August 17-20, 2015, Belfort, France. Volume 56 of Procedia Computer Science, pages 127-132, Elsevier, 2015. [doi]

Authors

Yongho Kim

This author has not been identified. Look up 'Yongho Kim' in Google

Jin-Woo Jung

This author has not been identified. Look up 'Jin-Woo Jung' in Google

Eric T. Matson

This author has not been identified. Look up 'Eric T. Matson' in Google