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

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.