Formal methods for robotic system control software

@ARTICLE{DBLP:journals/jhuapltechdigest/KouskoulasPK13,
	pdf = {http://techdigest.jhuapl.edu/TD/td3202/32_02-Kouskoulas.pdf},

  author    = {Yanni Kouskoulas and
               Andr{\'e} Platzer and
               Peter Kazanzides},
  title     = {Formal Methods for Robotic System Control
               Software},
  journal   = {Johns Hopkins APL Technical Digest},
  volume    = {32},
  number    = {2},
  year      = {2013},
  pages     = {490-498},
  eprint = {http://techdigest.jhuapl.edu/TD/td3202/32_02-Kouskoulas.pdf},
}```