Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control

Authors: 
H. Lin
Citation: 
Unmanned Systems
Publication Date: 
August, 2014