ckcest
HomeResearch-feedChannelRankingsGCTTHU AI TROpen DataMust Reading
  • Research Feed
  • Log in AMiner
    Academic ProfileUser Profile
    Research FeedMy FollowingPaper Collections

Merging Planning and Verification Techniques for "Safe Planning" in Space Robotics

Luigia Carlucci Aiello
Luigia Carlucci Aiello
[0]
Amedeo Cesta
Amedeo Cesta
[0]
Enrico Giunchiglia
Enrico Giunchiglia
[0]
Paolo Traverso
Paolo Traverso
[0]

2001.

Cited by: 7|Bibtex|Views2
Other Links: academic.microsoft.com

Code:

Data:

Full Text (Upload PDF)
PPT (Upload PPT)
Similar
Reference
Cited
Your rating :
0

 

Tags
Comments
  • © 2005-2021 AMiner 京ICP备20011824号-11

  • Contact
  • Introduction
  • Join-us
  • Reader-recommendation
  • RQcode