Quote: formal analysis of a plan execution module for NASA's Remote Agent; first complete, AI control of a space-craft

Quotation Skeleton

This paper documents [in detail] an application of SPIN … Remote Agent (RA) [ref] … The Remote Agent itself was tested during May … NASA's history.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: model checker (49 items)
Group: artificial intelligence   (14 topics, 509 quotes)