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

From MurrayWiki
Jump to: navigation, search

Diff selection: Mark the radio boxes 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.

  • (cur | prev) 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ā€¦')