Journal Article VHPOP: Versatile heuristic partial order planner 2003 • The journal of artificial intelligence research • 20:405-430 Younes HLS, Simmons RG
Journal Article A social robot that stands in line 2002 • Autonomous Robots • 12(3):313-324 Nakauchi Y, Simmons R
Conference A suite of tools for debugging distributed autonomous systems 2002 • IEEE International Conference on Robotics and Automation • 1:169-174 Kortenkamp D, Simmons R, Milam T, Fernández JL
Conference On the Role of Ground Actions in Refinement Planning 2002 • Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems, AIPS 2002 • 54-61 Younes HLS, Simmons RG
Conference Probabilistic verification of discrete event systems using acceptance sampling 2002 • Lecture Notes in Computer Science • 2404:223-235 Younes HLS, Simmons RG
Conference Stereo vision based navigation for sun-synchronous exploration 2002 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 805-810 Urmson CP, Dias MB, Simmons RG
Conference The role of expressiveness and attention in human-robot interaction 2002 • IEEE International Conference on Robotics and Automation • 4138-4142 Bruce A, Nourbakhsh I, Simmons R
Conference A service robot for peopled environments - Finding lined people by stereo vision and standing in line 2001 • IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM • 2:1093-1098 Nakauchi Y, Simmons R
Conference Autonomous exploration using multiple sources of information 2001 • IEEE International Conference on Robotics and Automation • 3098-3103 Moorehead SJ, Simmons R, Whittaker WL
Conference Collecting and analyzing data from distributed control programs 2001 • Electronic Notes in Theoretical Computer Science • 55(2):236-254 Kortenkamp D, Milam T, Simmons R, Fernandez JL
Conference From Livingstone to SMV: Formal verification for autonomous spacecrafts 2001 • Lecture Notes in Computer Science • 1871:103-113 Pecheur C, Simmons R
Conference RIACS workshop on the verification and validation of autonomous and adaptive systems 2001 • AI Magazine • 22(3):107-111 Pecheur C, Visser W, Simmons R
Conference The Role of Expressiveness and Attention in Human-Robot Interaction 2001 • AAAI Fall Symposium - Technical Report • FS-01-02:17-21 Bruce A, Nourbakhsh I, Simmons R
Conference The Science autonomy system of the Nomad robot 2001 • IEEE International Conference on Robotics and Automation • 2:1742-1749 Wagner MD, Apostolopoulos D, Shillcutt K, Shamah B, Simmons R, Whittaker W
Conference A social robot that stands in line 2000 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 1:357-364 Nakauchi Y, Simmons R
Conference Architecture, the backbone of robotic systems 2000 • IEEE International Conference on Robotics and Automation • 1:67-72 Coste-Manière È, Simmons R
Conference Collaborative multi-robot exploration 2000 • IEEE International Conference on Robotics and Automation • 1:476-481 Burgard W, Moors M, Fox D, Simmons R, Thrun S
Conference Coordinated deployment of multiple, heterogeneous robots 2000 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 3:2254-2260 Simmons R, Apfelbaum D, Fox D, Goldman RP, Haigh KZ, Musliner DJ, Pelican M, Thrun S
Conference Coordination for Multi-Robot Exploration and Mapping 2000 • Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000 • 852-858 Simmons R, Apfelbaum D, Burgard W, Fox D, Moors M, Thrun S, Younes H
Conference Distributed visual servoing with a roving eye 2000 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 1:441-447 Hershberger D, Burridge R, Kortenkamp D, Simmons R
Journal Article Lessons learned from Xavier 2000 • IEEE Robotics and Automation Magazine • 7(2):33-39 Simmons R, Fernandez JL, Goodwin R, Koenig S, O'Sullivan J
Conference Recent progress in local and global traversability for planetary rovers 2000 • IEEE International Conference on Robotics and Automation • 2:1194-1200 Singh S, Simmons R, Smith T, Stentz A, Verma V, Yahja A, Schwehr K
Conference Towards automatic verification of autonomous systems 2000 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 2:1410-1415 Simmons R, Pecheur C, Srinivasan G
Journal Article Evolution of a prototype lunar rover: addition of laser-based hazard detection, and results from field trials in lunar analog terrain 1999 • Autonomous Robots • 7(2):119-130 Krotkov E, Hebert M, Henriksen L, Levin P, Maimone M, Simmons R, Teza J
Conference Optimizing symbolic model checking for constraint-rich models 1999 • Lecture Notes in Computer Science • 1633:328-340 Yang B, Simmons R, Bryant RE, O’Hallaron DR
