Controlling Wild Bodies Using Linear Temporal Logic

Leonardo Bobadilla, Oscar Sanchez, Justin Czarnowski, Katrina Gossman, Steven M. LaValle. Controlling Wild Bodies Using Linear Temporal Logic. In Hugh F. Durrant-Whyte, Nicholas Roy, Pieter Abbeel, editors, Robotics: Science and Systems VII, University of Southern California, Los Angeles, CA, USA, June 27-30, 2011. 2011. [doi]

Abstract

Abstract is missing.