@inproceedings{Raman_2015,
    doi = {10.1145/2728606.2728628},
    url = {https://doi.org/10.1145%2F2728606.2728628},
    year = {2015},
    month = {apr},
    publisher = {{ACM}},
    author = {Vasumathi Raman and Alexandre Donz{\'{e}} and Dorsa Sadigh and Richard M. Murray and Sanjit A. Seshia},
    title = {Reactive synthesis from signal temporal logic specifications},
    booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control}
}

@inproceedings{Raman_2015, doi = {10.1145/2728606.2728628}, url = {https://doi.org/10.1145%2F2728606.2728628}, year = {2015}, month = {apr}, publisher = {{ACM}}, author = {Vasumathi Raman and Alexandre Donz{\'{e}} and Dorsa Sadigh and Richard M. Murray and Sanjit A. Seshia}, title = {Reactive synthesis from signal temporal logic specifications}, booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control} }