Checking the Correctness of Mission Plans.

John A. Allen, Renuka Shankar

Browse the full ICTAI paper archive.