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…'
Retrieved from "https://murray.cds.caltech.edu/EECI_2012:_Verification_of_Control_Protocols"