Contract-Based Design of Cyber-Physical Swarms
Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray, Sanjit Seshia, Stavros Tripakis

Citation
Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray, Sanjit Seshia, Stavros Tripakis. "Contract-Based Design of Cyber-Physical Swarms". Talk or presentation, 6, November, 2013; Presented at the 2013 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
    Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto
    Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray,
    Sanjit Seshia, Stavros Tripakis. <a
    href="http://www.terraswarm.org/pubs/195.html"><i>Contract-Based
    Design of Cyber-Physical Swarms</i></a>, Talk or
    presentation,  6, November, 2013; Presented at the <a
    href="http://www.terraswarm.org/conferences/13/annual"
    >2013 TerraSwarm Annual Meeting</a>.
    .
  • Plain text
    Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto
    Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray,
    Sanjit Seshia, Stavros Tripakis. "Contract-Based Design
    of Cyber-Physical Swarms". Talk or presentation,  6,
    November, 2013; Presented at the <a
    href="http://www.terraswarm.org/conferences/13/annual"
    >2013 TerraSwarm Annual Meeting</a>.
    .
  • BibTeX
    @presentation{NuzzoIannopolloFinnSangiovanniVincentelliDonzeMurray13_ContractBasedDesignOfCyberPhysicalSwarms,
        author = {Pierluigi Nuzzo and Antonio Iannopollo and John B.
                  Finn and Alberto Sangiovanni-Vincentelli and
                  Alexandre Donze and Richard Murray and Sanjit
                  Seshia and Stavros Tripakis},
        title = {Contract-Based Design of Cyber-Physical Swarms},
        day = {6},
        month = {November},
        year = {2013},
        note = {Presented at the <a
                  href="http://www.terraswarm.org/conferences/13/annual"
                  >2013 TerraSwarm Annual Meeting</a>.
    },
        abstract = {(No abstract.)},
        URL = {http://terraswarm.org/pubs/195.html}
    }
    

Posted by Barb Hoversten on 12 Nov 2013.
Groups: tools

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.