@inproceedings{Rodionova_2016,
    doi = {10.1145/2883817.2883839},
    url = {https://doi.org/10.1145%2F2883817.2883839},
    year = {2016},
    month = {apr},
    publisher = {{ACM}},
    author = {Alena Rodionova and Ezio Bartocci and Dejan Nickovic and Radu Grosu},
    title = {Temporal Logic as Filtering},
    booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control}
}

@inproceedings{Rodionova_2016, doi = {10.1145/2883817.2883839}, url = {https://doi.org/10.1145%2F2883817.2883839}, year = {2016}, month = {apr}, publisher = {{ACM}}, author = {Alena Rodionova and Ezio Bartocci and Dejan Nickovic and Radu Grosu}, title = {Temporal Logic as Filtering}, booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control} }