Rich Washington

Planning under Continuous Time and Resource Uncertainty: A Challenge for AI

John Bresina, Richard Dearden, Nicolas Meuleau et al. · arXiv (Cornell University) · 2012 · 140 citations · Full text

Artificial Intelligence, Engineering, Continuous Time +20

Combining test case generation and runtime verification

Cyrille Artho, Howard Barringer, Allen Goldberg et al. · Theoretical Computer Science · 2004 · 91 citations

Engineering, Computational Testing, Runtime Verification +10

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou et al. · Formal Methods in System Design · 2004 · 85 citations

Engineering, Experimental Evaluation, Calibration +15

Incremental Contingency Planning

Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan et al. · International Conference on Automated Planning and Scheduling · 2003 · 58 citations

Artificial Intelligence, Engineering, Intelligent Systems +20

Recursive Sparse, Spatiotemporal Coding

Thomas Dean, Rich Washington, Greg S. Corrado · 2009 · 25 citations

Engineering, Machine Learning, Autoencoders +20