NASA NTRS · 20030066325
Automated Reasoning CICT Program/Intelligent Systems Project ATAC-PRT Review
Abstract
An overview is presented of the Automated Reasoning CICT Program/Intelligent Systems project. Automated reasoning technology will help NASA missions by increasing the amount of science achieved, ensuring safety of spacecraft and surface explorers, and by enabling more robust mission operations.
Keep this discovery
Explore connections, maps & timelines
Morris, Robert, Smith, Ben. 2003-05-20. Automated Reasoning CICT Program/Intelligent Systems Project ATAC-PRT Review. https://ntrs.nasa.gov/citations/20030066325
Cite the original work for its findings. Save a collection to share your selection of sources.