Now showing items 1-1 of 1
A linguistic method for robot verification programming and control
(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 ...