|
[JKG15]
Benjamin Johnson and Hadas Kress-Gazit.
Analyzing and revising synthesized controllers for robots with sensing and actuation errors.
International Journal of Robotics Research, 34(6), pages 816-832.
2015.
[Uses probabilistic model checking and PRISM for the synthesis of verifiable robot controllers.]
|
|
Links:
[Google]
[Google Scholar]
|