Diagnosis and Repair for Synthesis from Signal Temporal Logic
Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Seshia

Citation
Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Seshia. "Diagnosis and Repair for Synthesis from Signal Temporal Logic". Talk or presentation, 26, October, 2016; Poster presented at the 2016 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
    Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi
    Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli,
    Shankar Sastry, Sanjit Seshia. <a
    href="http://www.terraswarm.org/pubs/856.html"><i>Diagnosis
    and Repair for Synthesis from Signal Temporal
    Logic</i></a>, Talk or presentation,  26,
    October, 2016; Poster presented at the <a
    href="http://terraswarm.org/conferences/16/annual"
    >2016 TerraSwarm Annual Meeting</a>.
  • Plain text
    Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi
    Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli,
    Shankar Sastry, Sanjit Seshia. "Diagnosis and Repair
    for Synthesis from Signal Temporal Logic". Talk or
    presentation,  26, October, 2016; Poster presented at the
    <a
    href="http://terraswarm.org/conferences/16/annual"
    >2016 TerraSwarm Annual Meeting</a>.
  • BibTeX
    @presentation{GhoshDorsaNuzzoRamanDonzeSangiovanniVincentelliSastry16_DiagnosisRepairForSynthesisFromSignalTemporalLogic,
        author = {Shromona Ghosh and Sadigh Dorsa and Pierluigi
                  Nuzzo and Vasumathi Raman and Alexandre Donze and
                  Alberto Sangiovanni-Vincentelli and Shankar Sastry
                  and Sanjit Seshia},
        title = {Diagnosis and Repair for Synthesis from Signal
                  Temporal Logic},
        day = {26},
        month = {October},
        year = {2016},
        note = {Poster presented at the <a
                  href="http://terraswarm.org/conferences/16/annual"
                  >2016 TerraSwarm Annual Meeting</a>},
        abstract = {(No abstract.)},
        URL = {http://terraswarm.org/pubs/856.html}
    }
    

Posted by Shromona Ghosh on 25 Oct 2016.
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.