Sertaç Kagan Aydin, Ebru Aydin Gol. Synthesis of Monitoring Rules with STL. Journal of Circuits, Systems, and Computers, 29(11), 2020. [doi]
@article{AydinG20-0,
title = {Synthesis of Monitoring Rules with STL},
author = {Sertaç Kagan Aydin and Ebru Aydin Gol},
year = {2020},
doi = {10.1142/S0218126620501777},
url = {https://doi.org/10.1142/S0218126620501777},
researchr = {https://researchr.org/publication/AydinG20-0},
cites = {0},
citedby = {0},
journal = {Journal of Circuits, Systems, and Computers},
volume = {29},
number = {11},
}