| Planning under continuous time and resource uncertainty: A challenge for AI J Bresina, R Dearden, N Meuleau, S Ramkrishnan, D Smith, ... arXiv preprint arXiv:1301.0559, 2012 | 225 | 2012 |
| Guardian: A prototype intelligent agent for intensive-care monitoring B Hayes-Roth, R Washington, D Ash, R Hewett, A Collinot, A Vina, ... Artificial Intelligence in Medicine 4 (2), 165-185, 1992 | 224 | 1992 |
| Combining test case generation and runtime verification C Artho, H Barringer, A Goldberg, K Havelund, S Khurshid, M Lowry, ... Theoretical Computer Science 336 (2-3), 209-234, 2005 | 142 | 2005 |
| Autonomous rovers for Mars exploration R Washington, K Golden, J Bresina, DE Smith, C Anderson, T Smith 1999 IEEE Aerospace Conference. Proceedings (Cat. No. 99TH8403) 1, 237-251, 1999 | 138 | 1999 |
| Dynamic programming for structured continuous Markov decision problems Z Feng, R Dearden, N Meuleau, R Washington arXiv preprint arXiv:1207.4115, 2012 | 136 | 2012 |
| Intelligent Monitoring and Control. B Hayes-Roth, R Washington, R Hewett, M Hewett, A Seiver IJCAI 89, 243-249, 1989 | 136 | 1989 |
| Experimental evaluation of verification and validation tools on martian rover software G Brat, D Drusinsky, D Giannakopoulou, A Goldberg, K Havelund, ... Formal Methods in System Design 25, 167-198, 2004 | 128 | 2004 |
| On-board real-time state and fault identification for rovers R Washington Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference …, 2000 | 90 | 2000 |
| Incremental contingency planning R Dearden, N Meuleau, S Ramakrishnan, DE Smith, R Washington 13th International Conference on Automated Planning and Scheduling, 2003 | 89 | 2003 |
| Input Data Management in Real-Time AI Systems. R Washington, B Hayes-Roth IJCAI 89 (11), 1989 | 75 | 1989 |
| Increased flexibility and robustness of Mars rovers LJ Bresina, K Golden, ED Smith, R Washington Artificial Intelligence, Robotics and Automation in Space 440, 167, 1999 | 74 | 1999 |
| BI-POMDP: Bounded, incremental partially-observable Markov-model planning R Washington European Conference on Planning, 440-451, 1997 | 72 | 1997 |
| Distributing intelligence within an individual B Hayes-Roth, M Hewett, R Washington, R Hewett, A Seiver Distributed Artificial Intelligence, 385-412, 1989 | 72 | 1989 |
| Decision-theoretic control of planetary rovers S Zilberstein, R Washington, DS Bernstein, AI Mouaddib Advances in Plan-Based Control of Robotic Agents: International Seminar …, 2002 | 69 | 2002 |
| Abstraction planning in real-time RM Washington stanford university, 1994 | 39 | 1994 |
| Learning to automatically detect features for mobile robots using second-order Hidden Markov Models O Aycard, JF Mari, R Washington International Journal of Advanced Robotic Systems 1 (4), 29, 2004 | 34 | 2004 |
| Planetary rover control as a markov decision process D Bernstein, S Zilberstein, R Washington, J Bresina Sixth International Symposium on Artificial Intelligence, Robotics, and …, 2001 | 31 | 2001 |
| Incremental Markov-model planning R Washington Proceedings Eighth IEEE International Conference on Tools with Artificial …, 1996 | 29 | 1996 |
| Integrated demonstration of instrument placement, robust execution and contingent planning L Pedersen, M Bualat, D Lees, DE Smith, D Korsmeyer, R Washington ISARAS, 2003 | 28 | 2003 |
| Plan execution, monitoring, and adaptation for planetary rovers R Washington, K Golden, J Bresina Linköping University Electronic Press, 2000 | 28 | 2000 |
Richard DeardenReader in Intelligent Robotics, University of BirminghamПотвърден имейл адрес: cs.bham.ac.uk
