Revision history of "EECI 2012: Verification of Control Protocols"

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.

  • curprev 17: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ā€¦'