Reid Simmons' Papers

Reid Simmons' On-Line Papers

(see bibligraphy for complete listing)

Cost and Reliability for Rough Terrain Navigation, J.Y. Kwak, M. Pivtoraiko and R. Simmons. In 9th International Symposium on Artificial Intelligence, Robotics and Automation for Space (iSAIRAS '08), February 2008.
Pre-positioning Assets to Increase Execution Efficiency, L.M. Hiatt and R. Simmons. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), Rome, 2007.
Particle RRT for Path Planning with Uncertainty, N. Melchior and R. Simmons. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), Rome, 2007.
Statistical Probabilistic Model Checking with a Focus on Time-Bounded Properties. H.L.S. Younes and R.G. Simmons. In Information and Computation 204:9, pp 1368-1409, 2006.
Towards Proactive Replanning for Multi-Robot Teams, B. Sellner and R. Simmons. In Proceedings of 5th International Workshop on Planning and Scheduling in Space, Baltimore MD, October 2006.
Modeling Affect in Socially Interactive Robots, R. Gockley, R. Simmons, and J. Forlizzi. In Proceedings of the 15th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN06), September, 2006.
Coordinated Multi-Agent Teams and Sliding Autonomy for Large-Scale Assembly, B. Sellner, F.W. Heger, L.M. Hiatt, R. Simmons and S. Singh. Proceedings of the IEEE, special issue on multi-agent systems, 94:7 July 2006.
Focused Real-Time Dynamic Programming for MDPs: Squeezing More Out of a Heuristic, T. Smith and R. Simmons. In Proceedings of the National Conference on Artificial Intelligence (AAAI), Boston MA, 2006.
What to Communicate? Execution-Time Decision in Multi-Agent POMDPs, M. Roth, R. Simmons and M. Veloso. In Proceedings of the International Symposium on Distributed Autonomous Robotic Systems (DARS), Minneapolis MN, July 2006.
Trajectory Modification Using Elastic Force for Collision Avoidance of a Mobile Manipulator. N.Y. Ko, R.G. Simmons, D.J. Seo. In Lecture Notes in Computer Science Volume 4099, pp. 190-199, Springer Berlin/Heidelberg, 2006.
A Spatial Model of Engagement for a Social Robot. M.P. Michalowski, S. Sabanovic, R. Simmons. In Proceedings of the International Workshop on Advanced Motion Control, Istanbul Turkey, March 2006.
Robots in the Wild: Observing Human-Robot Social Interaction Outside the Lab. S. Sabanovic, M.P. Michalowski, R. Simmons. In Proceedings of the International Workshop on Advanced Motion Control, Istanbul Turkey, March 2006.
Interactions with a Moody Robot. R. Gockley, J. Forlizzi and R. Simmons. In Proceedings of the Human-Robot Interaction Conference, Salt Lake City Utah, March 2006.
Attaining Situational Awareness for Sliding Autonomy. B.P. Sellner, L.M. Hiatt, R. Simmons and S. Singh. In Proceedings of the Human-Robot Interaction Conference, Salt Lake City Utah, March 2006.
Multimodal Person Tracking and Attention Classification. M.P. Michalowski and R. Simmons. In Proceedings of the Human-Robot Interaction Conference, Salt Lake City Utah, March 2006.
Socially Distributed Perception. M.P. Michalowski, C. DiSalvo, D. Busquets, L.M. Hiatt, N.A. Melchior, R. Simmons, and S. Sabanovic. In Proceedings of the Human-Robot Interaction Conference, Salt Lake City Utah, March 2006.
The Peer-to-Peer Human-Robot Interaction Project, I. Nourbakhsh, C. Kunz, L. Fluckiger, J. Schreiner, R. Ambrose, R. Burridge, R. Simmons, L.M. Hiatt, A. Schultz, J.G. Trafton, M. Bugajska, and J. Scholtz. In Proceedings of AIAA Space 2005, Long Beach CA, 2005.
Results in Sliding Autonomy for Multi-robot Spatial Assembly, F. Heger, L. Hiatt, B. Sellner, R. Simmons and S. Singh. In Proceedings, 8th International Symposium on Artificial Intelligence, Robotics and Automation in Space, Munich, September 2005.
Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences, V. Verma, T. Estlin, A. Jónsson, C. Pasareanu, R. Simmons and K. Tso. In Proceedings, 8th International Symposium on Artificial Intelligence, Robotics and Automation in Space, Munich, September 2005.
Designing Robots for Long-Term Social Interaction, R. Gockley, A. Bruce J. Forlizzi, M. Michalowski, A. Mundell, S. Rosenthal, B. Sellner, R. Simmons, K. Snipes, A.C. Schultz and J. Wang. In Proceedings of IROS 2005, Edmonton, Alberta, 2005.
Point-based POMDP Algorithms: Improved Analysis and Implementation, T. Smith and R. Simmons. In Proceedings of UAI, July 2005.
Decentralized Communication Strategies for Coordinated Multi-Agent Policies, M. Roth, R. Simmons and M. Veloso. In Multi-Robot Systems: From Swarms to Intelligent Automata, A. Schultz, L. Parker, and F. Schneider (eds.), Volume IV, Kluwer Avademic Publishers, 2005.
Grace and George: Social Robots at AAAI, R. Gockley, R. Simmons, J. Wang, D. Busquets, C. DiSalvo, K. Caffrey, S. Rosenthal, J. Mink, S. Thomas, W. Adams, T. Lauducci, M. Bugajska, D. Perzanowski, A. Schultz. In AAAI 2004 Mobile Robot Competition Workshop, AAAI Press, Technical Report WS-04-11, pp. 15-20, August 2004.
Heuristic Search Value Iteration for POMDPs, T. Smith and R. Simmons. In Proceedings of UAI, July 2004.
A Formalism for Stochastic Decision Processes with Asynchronous Events, H. L. S. Younes and R. G. Simmons, In Papers from the AAAI Workshop on Learning and Planning in Markov Processes - Advances and Challenges, AAAI Press, Technical Report WS-04-08, 107-110. July, 2004.
Solving Generalized Semi-Markov Decision Processes using Continuous Phase-Type Distributions. H. L. S. Younes and R. G. Simmons. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, San Jose, California, July 2004.
Policy Generation for Continuous-Time Stochastic Domains with Concurrency, H. L. S. Younes and R. G. Simmons. In Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling, Whistler, Canada, June 2004.
Particle Filters for Rover Fault Diagnosis, V. Verma, G. Gordon, R. Simmons and S. Thrun. IEEE Robotics and Automation Magazine special issue on Human Centered Robotics and Dependability, June 2004. (Invited paper)
Real-time Fault Detection and Situational Awareness for Rovers: Report on the Mars Technology Program Task, R. Dearden, F. Hutter, R. Simmons, S. Thrun, V. Verma, and T. Willeke. Proceedings of IEEE Aerospace Conference, March 2004.
VHPOP: Versatile Heuristic Partial Order Planner, H.L.S. Younes and R.G. Simmons. Journal of Artificial Intelligence Research, 20, pp. 405-430, December 2003.
Maintaining Line of Sight Communications Networks Between Planetary Rovers, S. Anderson, R. Simmons, and D. Goldberg. Proceedings of the Conference on Intelligent Robots and Systems (IROS) Las Vegas, NV, October 2003.
Variable Resolution Particle Filters, V. Verma, S. Thrun, R. Simmons. In Proceedings of International Joint Conference on Artificial Intelligence, Acapulco Mexico, August 2003.
GRACE: An Autonomous Robot for the AAAI Robot Challenge. R. Simmons, et. al. AAAI Magazine, 24:2, pp. 51-72, Summer 2003.
A Framework for Planning in Continuous-time Stochastic Domains. H. L. S. Younes, D. J. Musliner, and R. G. Simmons. In Proceedings of the 13th International Conference on Automated Planning and Scheduling, Trento, Italy, June 2003.
Efficient Monitoring for Planetary Rovers, V. Verma, G. Gordon, R. Simmons. In Proceedings of International Symposium on Artificial Intelligence, Robotics and Automation in Space, Tokyo Japan, May 2003.
A Generic Framework for Robotic Navigation C. Urmson, R. Simmons and I. Nesnas. In Proceedings of the 2003 IEEE Aerospace Conference, Big Sky Montana, March 8-15 2003.
A Distributed Layered Architecture for Mobile Robot Coordination: Application to Space Exploration Dani Goldberg, Vincent Cicirello, M. Bernardine Dias, Reid Simmons, Stephen Smith, Trey Smith, and Anthony Stentz. In 3rd International NASA Workshop on Planning and Scheduling for Space, October 27-29, 2002. Houston, Texas.
Stereo Vision Based Navigation for Sun-Synchronous Exploration, C. Urmson, M. Dias and R. Simmons. In Proceedings of the Conference on Intelligent Robots and Systems (IROS), Lausanne, Switzerland, Sept. 2002.
Constructing and Clearing Combinatorial Exchanges Using Preference Elicitation, T. Smith, T. Sandholm, and R. Simmons. In Proceedings of AAAI Workshop on Preferences in AI and CP, August 2002.
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, H.L.S. Younes and R.G. Simmons. In Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, July 2002.
The Role of Expressiveness and Attention in Human-Robot Interaction, A. Bruce, I. Nourbakhsh, R. Simmons. In Proceedings of the IEEE International Conference on Robotics and Automation, Washington DC, May 2002.
A Suite of Tools for Debugging Distributed Autonomous Systems, D. Kortenkamp, T. Milam, R. Simmons and J. L. Fernandez. In Proceedings of the IEEE International Conference on Robotics and Automation, Washington DC, May 2002.
On the Role of Ground Actions in Refinement Planning, H.L.S. Younes and R.G. Simmons. In Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling Systems, Toulouse, France, April 2002.
A Social Robot that Stands in Line, Y. Nakauchi and R. Simmons. In Autonomous Robots, 12:3 pp.313-324, May 2002.
A Layered Architecture for Coordination of Mobile Robots, R. Simmons, T. Smith, M. B. Dias, D. Goldberg, D. Hershberger, A. Stentz, R. Zlot, in Multi-Robot Systems: From Swarms to Intelligent Automata, A. Schultz and L. Parker (eds.), Kluwer, 2002.
Implementing Human-Acceptable Navigational Behavior and a Fuzzy Controller for an Autonomous Robot, V. Matellán and R. Simmons, in Proceedings WAF'2002: 3rd Workshop on Physical Agents, Murcia Spain, March 2002.
The Role of Expressiveness and Attention in Human-Robot Interaction, A. Bruce, I. Nourbakhsh, R. Simmons. To be presented at AAAI Fall Symposium, Boston MA, October 2001.
Collecting and Analyzing Data from Distributed Control Programs, D. Kortenkamp, T. Milan, R. Simmons, J.L. Fernández. Workshop on Runtime Verification, Paris France. Also in Electronic Notes in Theoretical Computer Science 55:2, 2001.
RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems, C. Pecheur, W. Visser, R. Simmons. In AI Magazine, 2001
A Robust Stochastic Supervision Architecture for an Indoor Mobile Robot, J.L. Fernández, R. Simmons, R. Sanz and A.R. Diéguez. In Proceedings of the International Conference on Field and Service Robotics (FSR 2001) Espoo Finland, June 2001.
Non-Parametric Fault Identification for Space Rovers, V. Verma, J. Langford, R. Simmons. In Proceedings of International Symposium on Artificial Intelligence, Robotics and Automation in Space, Montreal Canada, June 2001.
A Multiple Information Source Planner for Autonomous Planetary Exploration, S.J. Moorehead, R. Simmons, and W.L. Whittaker. In Proceedings of International Symposium on Artificial Intelligence, Robotics and Automation in Space, Montreal Canada, June 2001.
The Science Autonomy System of the Nomad Robot, M.D. Wagner, D. Apostolopoulos, K. Shillcutt, B. Shamah, R. Simmons, and W.L. Whittaker. In Proceedings of IEEE International Conference on Robotics and Automation, pp. 1742-1749, May, 2001.
Future Directions in Multi-Robot Autonomy and Planetary Surface Construction, T. Smith, R. Simmons, S. Singh, D. Hershberger. Space Studies Institute Conference, Princeton NJ, May 2001.
First Results in the Coordination of Heterogeneous Robots for Large-Scale Assembly, R. Simmons, S. Singh, D. Hershberger, J. Ramos, T. Smith. In Proceedings of the International Symposium on Experimental Robotics (ISER), Honolulu Hawaii, December 2000.
Distributed Visual Servoing with a Roving Eye, D. Hershberger, R. Burridge, D. Kortenkamp, R. Simmons. In Proceedings of the Conference on Intelligent Robots and Systems (IROS), Takamatsu Japan, October 2000.
Coordinated Deployment of Multiple, Heterogeneous Robots, R. Simmons, D. Apfelbaum, D. Fox, R. P. Goldman, K. Zita Haigh, D. J. Musliner, M. Pelican, and S. Thrun. In Proceedings of the Conference on Intelligent Robots and Systems (IROS), Takamatsu Japan, October 2000.
A Social Robot that Stands in Line, Y. Nakauchi and R. Simmons. In Proceedings of the Conference on Intelligent Robots and Systems (IROS), Takamatsu Japan, October 2000.
Towards Formal Verification of Autonomous Systems, R. Simmons, C. Pecheur and G. Srinivasan. In Proceedings of the Conference on Intelligent Robots and Systems (IROS), Takamatsu Japan, October 2000.
Coordination for Multi-Robot Exploration and Mapping, R. Simmons, D. Apfelbaum, W. Burgard, D. Fox, M. Moors, S. Thrun, H. Younes. Proceedings National Conference on Artificial Intelligence, Austin TX, August 2000.
From Livingstone to SMV: Formal Verification for Autonomous Spacecrafts, C. Pecheur and R. Simmons. First Goddard Workshop on Formal Approaches to Agent-Based Systems, NASA Goddard, April 2000. Also appeared in Lecture Notes of Computer Science, Springer Verlag.
Technology for Autonomous Space Systems, A. Stroupe, S. Singh, and R. Simmons. Technical Report CMU-RI-TR-00-02, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, 2000.
Recent Progress in Local and Global Traversability for Planetary Rovers S. Singh, R. Simmons, T. Smith, A. Stentz, V. Verma, A. Yahja, and K. Schwehr. In Proceedings International Conference on Robotics and Autonomous, San Francisco CA, April 2000.
Collaborative Multi-Robot Exploration (abstract), W. Burgard, D. Fox, M. Moors, R. Simmons, S. Thrun. In Proceedings International Conference on Robotics and Autonomous, San Francisco CA, April 2000.
Architecture, the Backbone of Robotic Systems, E. Coste-Maniere and R. Simmons, In Proceedings of the IEEE Conference on Robotics and Automation, San Francisco CA, April 2000.
Lessons Learned From Xavier, R. Simmons, J. Fernandez, R. Goodwin, S. Koenig, J. O'Sullivan. IEEE Robotics and Automation Magazine, Vol 7, No 2, pp 33-39, June 2000.
Automating Model Checking for Autonomous Systems, R. Simmons and C. Pecheur, AAAI Spring Symposium on Real-Time Autonomous Systems, Stanford CA, March 2000.
Optimizing Symbolic Model Checking for Invariant-Rich Models (abstract). B. Yang, R. Simmons, R. Bryant, and D. O'Hallaron. In Proc. of International Conference on Computer-Aided Verification (CAV'99).
Social Behavioral Robot that Stands in Line. Y. Nakauchi and R. Simmons, SMC '99, Tokyo Japan, October 1999.
Optimizing Symbolic Model Checking for Constraint-Rich Models, B. Yang, R. Simmons, R. Bryant, D. O'Hallaron, Technical Report CMU-CS-99-118, School of Computer Science, Carnegie Mellon University, March 1999.
Robust Execution Monitoring for Navigation Plans, J.L. Fernadez & R. Simmons, Proceedings of the Conference on Intelligent Robots and Systems (IROS), Victoria Canada, 1998
The Lane-Curvature Method for Local Obstacle Avoidance, N.Y. Ko & R. Simmons, Proceedings of the Conference on Intelligent Robots and Systems (IROS), Victoria Canada, 1998
A Task Description Language for Robot Control, R. Simmons & D. Apfelbaum, Proceedings of the Conference on Intelligent Robots and Systems (IROS), Victoria Canada, 1998
Visualization Tools for Validating Software of Autonomous Spacecraft, R. Simmons and G. Whelan, i-Sairas, Tokyo Japan, July 1997.
A Layered Architecture for Office Delivery Robots, R. Simmons, R. Goodwin, K. Haigh, S. Koenig, J. O'Sullivan; First International Conference on Autonomous Agents, Marina del Rey, CA, February 1997. ( abstract)
Robot Navigation with Markov Models: A Framework for Path Planning and Learning with Limited Computational Resources, S. Koenig, R. Goodwin, and R. Simmons, Lecture Notes in Artificial Intelligence, Volume 1093: Reasoning with Uncertainty in Robotics; L. Dorst, M. van Lambalgen, and R. Voorbraak (Eds.), Springer, pp. 322-337, 1996.
Obstacle Avoidance and Safeguarding for a Lunar Rover, R. Simmons, L. Henricksen, L. Chrisman and G. Whelan, Proceedings AIAA Forum on Advanced Developments in Space Robotics, Madison WI, August 1996.
The Curvature-Velocity Method for Local Obstacle Avoidance, R. Simmons, International Conference on Robotics and Automation, Minneapolis MN, April 1996.
Safeguarded Teleoperation for Lunar Rovers: From Human Factors to Field Trials, E. Krotkov, R. Simmons, F. Cozman, and S. Koenig, IEEE Planetary Rover Technology and Systems Workshop, Minneapolis MN, April 1996.
Probabilistic Navigation in Partially Observable Environments, R. Simmons and S. Koenig, IJCAI '95, Montreal Canada, July 1995. (abstract)
Experience with Rover Navigation for Lunar-Like Terrains, R. Simmons, E. Krotkov, L. Chrisman, F. Cozman, R. Goodwin, M. Hebert, L. Katragadda, S. Koenig, G. Krishnaswamy, Y. Shinoda, W. Whittaker, and P. Klarer. Proceedings of the Conference on Intelligent Robots and Systems (IROS), Pittsburgh PA, 1995.
Mixed-Mode Control of Navigation for a Lunar Rover, R. Simmons, E. Krotkov, L. Chrisman, F. Cozman, R. Goodwin, M. Hebert, G. Heredia, S. Koenig, P. Muir, Y. Shinoda, and W. Whittaker. Proceedings of the SSI/Princeton Space Manufacturing Conference, Princeton NJ, 1995.
Structured Control for Autonomous Robots, Reid Simmons, IEEE Transactions on Robotics and Automation, 10:1, pp. 34-43, February 1994.
Concurrent Planning and Execution for Autonomous Robots, R. Simmons, IEEE Control Systems, 12:1, pp. 46-50, February 1992.

Go home. Last modified: Thu Feb 21 16:05:40 EST 2008