@misc{indiciae0bedd43ae937,
  title = {Incremental Observer Reduction Applied to Opacity Verification and Synthesis},
  author = {Mona Noori-Hosseini and Bengt Lennartson and Christoforos Hadjicostis},
  year = {2019},
  url = {https://arxiv.org/abs/1812.08083},
  note = {Source identifier: 1812.08083}
}