Browse wiki

From MurrayWiki
Jump to: navigation, search
Safety-Critical Autonomy and Verification for Space Missions
Agency JPL  +
End date 31 May 2018  +
ID JPL PDF17  +
Start date 1 October 2017  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries.
Safety-Critical Autonomy and Verification for Space Missions + , Safety-Critical Autonomy and Verification for Space Missions + , Safety-Critical Autonomy and Verification for Space Missions + , Safety-Critical Autonomy and Verification for Space Missions +
Categories Project , Completed projects
Modification date
This property is a special property in this wiki.
18 September 2019 15:03:04  +
hide properties that link here 
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations + , Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams + Funding
Sofie Haesaert + Previous projects
JPL PDF17 + redirect page
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://www.cds.caltech.edu/~murray/wiki/index.php?title=Special:Browse/Safety-2DCritical-20Autonomy-20and-20Verification-20for-20Space-20Missions"

Navigation menu

Views

  • Special page

Personal tools

  • Log in

Navigation

  • Main Page
  • Courses
  • Events
  • Preprints
  • Projects

 

Tools

  • Special pages
  • Printable version
Powered by MediaWiki Powered by Semantic MediaWiki
  • Privacy policy
  • About MurrayWiki
  • Disclaimers