Correct-by-Construction Synthesis of Controllers and Contracts
Richard Murray

Citation
Richard Murray. "Correct-by-Construction Synthesis of Controllers and Contracts". Talk or presentation, 12, October, 2017; Presented at the 2017 TerraSwarm Annual Meeting.

Abstract
(No abstract.)

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Richard Murray. <a
  href="http://www.terraswarm.org/pubs/1010.html"><i>Correct-by-Construction
  Synthesis of Controllers and Contracts</i></a>,
  Talk or presentation,  12, October, 2017; Presented at the
  <a
  href="http://terraswarm.org/conferences/17/annual"
  >2017 TerraSwarm Annual Meeting</a>.

• Plain text

  Richard Murray. "Correct-by-Construction Synthesis of
  Controllers and Contracts". Talk or presentation,  12,
  October, 2017; Presented at the <a
  href="http://terraswarm.org/conferences/17/annual"
  >2017 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{Murray17_CorrectbyConstructionSynthesisOfControllersContracts,
      author = {Richard Murray},
      title = {Correct-by-Construction Synthesis of Controllers
                and Contracts},
      day = {12},
      month = {October},
      year = {2017},
      note = {Presented at the <a
                href="http://terraswarm.org/conferences/17/annual"
                >2017 TerraSwarm Annual Meeting</a>.},
      abstract = {(No abstract.)},
      URL = {http://terraswarm.org/pubs/1010.html}
  }
  

Posted by Mary Stewart on 10 Oct 2017.
Groups: pw