SURF 2014: Invariant Refinement for Receding Horizon Temporal Logic Planning: Revision history

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

31 December 2013

  • curprev 08:4208:42, 31 December 2013‎ Vasu talk contribs‎ 3,781 bytes +3,781‎ Created page with "'''2014 SURF project description''' * Mentor: Richard Murray * Co-mentor: Vasu Raman [[File:SURF14_rhtlp_subsets.png‎|frame|Fig. 1. Illustration of state spa..."
Retrieved from "https://murray.cds.caltech.edu/SURF_2014:_Invariant_Refinement_for_Receding_Horizon_Temporal_Logic_Planning"