D. Atkinson

Autonomous Navigation and Control of a Mars Rover

A. Mishkin, B. Wilcox, D. Miller, 1989 .

A report on SHARP (Spacecraft Health Automated Reasoning Prototype) and the Voyager Neptune encounter

Mark James, David J. Atkinson, Denise L. Lawson, 1990 .

Generating Perception Requests and Expectations to Verify the Execution of Plans

David Atkinson, Richard J. Doyle, Rajkumar Doshi, 1986, AAAI.

Knowledge-based diagnosis for aerospace systems

David J. Atkinson, D. Atkinson, 1988 .

Enhancing aerospace systems autonomy through predictive monitoring

David J. Atkinson, Richard J. Doyle, Suzanne M. Sellers, 1989 .

Artificial intelligence for multi-mission planetary operations

Mark James, David J. Atkinson, Denise L. Lawson, 1990 .

Predictive monitoring research: Summary of the PREMON system

D. Atkinson, R. Doyle, S. Sellers, 1987 .