Rich Washington

Scaling Up Decision Theoretic Planning to Planetary Rover Problems

Nicolas Meuleau, Richard Dearden, Rich Washington, 2004 .

Combining Test Case Generation with Run-time Verification

Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2005 .

A framework for automatic abstraction

Paul S. Rosenbloom, Amy Unruh, Rich Washington, 1996 .

Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI pdf

David E. Smith, Nicolas Meuleau, Richard Dearden, 2002, AIPS Workshop on Planning for Temporal Domains.

Sparse Spatiotemporal Coding for Activity Recognition

Thomas L. Dean, Thomas Dean, Rich Washington, 2010 .

Contingency Planning for Planetary Rovers

David E. Smith, Nicolas Meuleau, Richard Dearden, 2002 .

Incremental Contingency Planning

David E. Smith, Nicolas Meuleau, Richard Dearden, 2003 .

A Method of Partly Automated Testing of Software

Sarfraz Khurshid, Cyrille Artho, Corina S. Pasareanu, 2007 .