Reactive Synthesis from Signal Temporal Logic Specifications
Vasu Raman, Alexandre Donze, Dorsa Sadigh, Richard Murray, Sanjit Seshia

Citation
Vasu Raman, Alexandre Donze, Dorsa Sadigh, Richard Murray, Sanjit Seshia. "Reactive Synthesis from Signal Temporal Logic Specifications". Submitted to International Conference on Hybrid Systems: Computation and Control (HSCC), 2015.

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

  Vasu Raman, Alexandre Donze, Dorsa Sadigh, Richard Murray,
  Sanjit Seshia. <a
  href="http://www.terraswarm.org/pubs/395.html"
  >Reactive Synthesis from Signal Temporal Logic
  Specifications</a>, Submitted to International
  Conference on Hybrid Systems: Computation and Control
  (HSCC), 2015.

• Plain text

  Vasu Raman, Alexandre Donze, Dorsa Sadigh, Richard Murray,
  Sanjit Seshia. "Reactive Synthesis from Signal Temporal
  Logic Specifications". Submitted to International
  Conference on Hybrid Systems: Computation and Control
  (HSCC), 2015.

• BibTeX

  @inproceedings{RamanDonzeSadighMurraySeshia15_ReactiveSynthesisFromSignalTemporalLogicSpecifications,
      author = {Vasu Raman and Alexandre Donze and Dorsa Sadigh
                and Richard Murray and Sanjit Seshia},
      title = {Reactive Synthesis from Signal Temporal Logic
                Specifications},
      booktitle = {Submitted to International Conference on Hybrid
                Systems: Computation and Control (HSCC)},
      year = {2015},
      abstract = {(No abstract.)},
      URL = {http://terraswarm.org/pubs/395.html}
  }
  

Posted by Vasu Raman on 27 Oct 2014.
Groups: tools