EECI 2012: Verification of 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.

25 April 2012

  • curprev 17:3817:38, 25 April 2012ā€Ž Murray talk contribsā€Ž 1,368 bytes +1,368ā€Ž Created page with '{{AFRL12 header|prev=Control-Theoretic Tools|next=Synthesis of Reactive Control Protocols }} {{righttoc}} This lecture will present examples of the design and verification of p…'