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