@misc{indiciae5394e67400dc, title = {Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption}, author = {Masaki Waga and Kotaro Matsuoka and Takashi Suwa and Naoki Matsumoto and Ryotaro Banno and Song Bian and Kohei Suenaga}, year = {2024}, doi = {10.1007/978-3-031-74234-7\_4}, url = {https://arxiv.org/abs/2405.16767}, note = {Source identifier: 2405.16767} }