Verifying Performance for Autonomous Robot Missions with Uncertainty

Pattern Recognition and Machine Learning

Journal of Electronic Imaging · 2007 · 22.1K citations

Computing, Computer Engineering, Computer Science +14

Probabilistic robotics

Sebastian Thrun · Communications of the ACM · 2002 · 8K citations

Computing, Autonomous Systems, Computer Science +16

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Pattern Recognition and Machine Learning

Radford M. Neal · Technometrics · 2007 · 4.7K citations

Computing, Computer Engineering, Computer Science +14

Estimating uncertain spatial relationships in robotics

Robert Smith, Matthew W. Self, Peter Cheeseman · 2005 · 760 citations

Computing, Robotics Engineering, Robot Perception +12