TY  - RPRT
TI  - Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
AU  - Masaki Waga
AU  - Kotaro Matsuoka
AU  - Takashi Suwa
AU  - Naoki Matsumoto
AU  - Ryotaro Banno
AU  - Song Bian
AU  - Kohei Suenaga
PY  - 2024
DO  - 10.1007/978-3-031-74234-7_4
UR  - https://arxiv.org/abs/2405.16767
ID  - 2405.16767
ER  -