Controlling Wild Bodies Using Linear Temporal Logic Book Chapter

Bobadilla, Leonardo, Sanchez, Oscar, Czarnowski, Justin et al. (2012). Controlling Wild Bodies Using Linear Temporal Logic . 17-24. 10.7551/mitpress/9481.003.0008

cited authors

  • Bobadilla, Leonardo; Sanchez, Oscar; Czarnowski, Justin; Gossman, Katrina; LaValle, Steven M

authors

publication date

  • June 29, 2012

keywords

  • 46 Information and Computing Sciences
  • 4602 Artificial Intelligence
  • 4608 Human-Centred Computing
  • Bioengineering

Digital Object Identifier (DOI)

publisher

  • MIT Press

start page

  • 17

end page

  • 24