Control Improvisation with Probabilistic Temporal Specifications
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia

Citation
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia. "Control Improvisation with Probabilistic Temporal Specifications". Talk or presentation, 23, October, 2015; Presented at the 2nd International Workshop on the Swarm at the Edge of the Cloud.

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

  Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre
  Donze, Edward A. Lee, Sanjit Seshia. <a
  href="http://www.terraswarm.org/pubs/567.html"
  ><i>Control Improvisation with Probabilistic
  Temporal Specifications</i></a>, Talk or
  presentation,  23, October, 2015; Presented at the <a
  href="http://www.terraswarm.org/swec15/"> 2nd
  International Workshop on the Swarm at the Edge of the
  Cloud</a>.

• Plain text

  Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre
  Donze, Edward A. Lee, Sanjit Seshia. "Control
  Improvisation with Probabilistic Temporal
  Specifications". Talk or presentation,  23, October,
  2015; Presented at the <a
  href="http://www.terraswarm.org/swec15/"> 2nd
  International Workshop on the Swarm at the Edge of the
  Cloud</a>.

• BibTeX

  @presentation{AkkayaFremontValleDonzeLeeSeshia15_ControlImprovisationWithProbabilisticTemporalSpecifications,
      author = {Ilge Akkaya and Daniel J. Fremont and Rafael Valle
                and Alexandre Donze and Edward A. Lee and Sanjit
                Seshia},
      title = {Control Improvisation with Probabilistic Temporal
                Specifications},
      day = {23},
      month = {October},
      year = {2015},
      note = {Presented at the <a
                href="http://www.terraswarm.org/swec15/"> 2nd
                International Workshop on the Swarm at the Edge of
                the Cloud</a>},
      abstract = {(No abstract.)},
      URL = {http://terraswarm.org/pubs/567.html}
  }
  

Posted by Ilge Akkaya on 8 May 2015.