• A linguistic method for robot verification programming and control 

      Dantam, Neil Thomas (Georgia Institute of Technology, 2014-10-29)
      There are many competing techniques for specifying robot policies, each having advantages in different circumstances. To unify these techniques in a single framework, we use formal language as an intermediate representation ...