Correct-by-Construction Synthesis of Reactive Control Protocols
Richard Murray

Citation
Richard Murray. "Correct-by-Construction Synthesis of Reactive Control Protocols". Talk or presentation, 29, November, 2012; Presented at the iCyPhy Kickoff, November 29 & 30, 2012, Berkeley.

Abstract
(No abstract.)

Electronic downloads

Internal. This publication has been made accessible by the author to only members in the following group(s): , so electronic downloads are not available without logging in.

Citation formats

• HTML

  Richard Murray. <a
  href="http://www.icyphy.org/pubs/9.html"><i>Correct-by-Construction
  Synthesis of Reactive Control Protocols</i></a>,
  Talk or presentation,  29, November, 2012; Presented at the
  <a
  href="http://www.icyphy.org/conferences/12/kickoff/index.htm"
  >iCyPhy Kickoff</a>, November 29 & 30, 2012,
  Berkeley.

• Plain text

  Richard Murray. "Correct-by-Construction Synthesis of
  Reactive Control Protocols". Talk or presentation,  29,
  November, 2012; Presented at the <a
  href="http://www.icyphy.org/conferences/12/kickoff/index.htm"
  >iCyPhy Kickoff</a>, November 29 & 30, 2012,
  Berkeley.

• BibTeX

  @presentation{Murray12_CorrectbyConstructionSynthesisOfReactiveControlProtocols,
      author = {Richard Murray},
      title = {Correct-by-Construction Synthesis of Reactive
                Control Protocols},
      day = {29},
      month = {November},
      year = {2012},
      note = {Presented at the <a
                href="http://www.icyphy.org/conferences/12/kickoff/index.htm"
                >iCyPhy Kickoff</a>, November 29 \& 30, 2012,
                Berkeley.},
      abstract = {(No abstract.)},
      URL = {http://icyphy.org/pubs/9.html}
  }
  

Posted by Christopher Brooks on 30 Nov 2012.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.