CSL: A language for supporting robust plan execution in autonomous spacecraft (1996)

by E Gat
Venue:Arti cial Intelligence Center, SRI International