@misc{indiciaee3e4e0093f9b,
  title = {Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption},
  author = {Ryotaro Banno and Kotaro Matsuoka and Naoki Matsumoto and Song Bian and Masaki Waga and Kohei Suenaga},
  year = {2022},
  url = {https://arxiv.org/abs/2206.03582},
  note = {Source identifier: 2206.03582}
}