@misc {IOPORT.70694738,
    author       = {Johnson, Benjamin and Kress-Gazit, Hadas},
    title        = {Probabilistic analysis of correctness of high-level robot behavior with sensor error},
    howpublished = {Robotics: Science and Systems (2011).},
    year         = {2011},
    identifier   = {70694738},
}