Merging Planning and Verification Techniques for "Safe Planning" in Space RoboticsMarkLuigia Carlucci Aiello[0]Amedeo Cesta[0]Enrico Giunchiglia[0]Paolo Traverso[0]2001.Cited by: 7|Bibtex|Views2Other Links: academic.microsoft.comCode: Data: Full Text (Upload PDF)PPT (Upload PPT)SimilarReferenceCitedUpload PPTYour rating :0 TagsCommentsSubmit