EECI 2012: Synthesis of Reactive Control Protocols: 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.

17 May 2012

16 May 2012

10 May 2012

26 April 2012

25 April 2012

  • curprev 18:3118:31, 25 April 2012Murray talk contribs 2,313 bytes +2,313 Created page with '{{AFRL12 header|prev=Computer Lab I |next=Receding Horizon Temporal Logic Planning}} This lecture discusses planner synthesis from LTL specification. In particular, we focus on …'