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.

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.