Get started
Author

Rich Washington

Observed names: Richard Washington T, Washington, Rich
OpenAlex ID: A5108371010
Combining test case generation and runtime verification
2004 · Cyrille Artho, Howard Barringer, et al. · Theoretical Computer Science · 93
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
2004 · Guillaume Brat, Doron Drusinsky, et al. · Formal Methods in System Design · 86
Incremental Contingency Planning
2003 · Richard Dearden, Nicolas Meuleau, et al. · International Conference on Automated Planning and Scheduling · 59
Recursive Sparse, Spatiotemporal Coding
2009 · Thomas Dean, Rich Washington, et al. · IEEE International Symposium on Multimedia (ISM) · 26
Sparse Spatiotemporal Coding for Activity Recognition
2010 · Thomas Dean, Greg S. Corrado, et al. · 17
Contingency Planning for Planetary Rovers
2002 · Richard Dearden, Nicolas Meuleau, et al. · NASA STI Repository (National Aeronautics and Space Administration) · 16
PDF
Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI
2002 · Dearden, Richard, Clancy, Daniel, et al. · NASA STI Repository (National Aeronautics and Space Administration) · 7
PDF
Scaling Up Decision Theoretic Planning to Planetary Rover Problems
2004 · Nicolas Meuleau, Richard Dearden, et al. · 6
Combining Test Case Generation with Run-time Verification
2005 · Cyrille Artho, Howard Barringer, et al. · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 1
Hybrid Discrete-Continuous Markov Decision Processes
2003 · Zhengzhu Feng, Richard Dearden, et al. · International Conference on Automated Planning and Scheduling · 1
A Method of Partly Automated Testing of Software
2007 · Mike Lowry, Willem Visser, et al. · NASA Technical Reports Server (NASA)
A framework for automatic abstraction
1996 · Amy Unruh, Rich Washington, et al.
Works count: 13
Citation count: 312
H-index: 7
I10-index: 6
Year
Topic
Type