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]
@inproceedings{KimJM15, title = {An Adaptive Task-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV}, author = {Yongho Kim and Jin-Woo Jung and Eric T. Matson}, year = {2015}, doi = {10.1016/j.procs.2015.07.180}, url = {http://dx.doi.org/10.1016/j.procs.2015.07.180}, researchr = {https://researchr.org/publication/KimJM15}, cites = {0}, citedby = {0}, pages = {127-132}, booktitle = {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}, series = {Procedia Computer Science}, publisher = {Elsevier}, }