TY  - RPRT
TI  - Incremental Observer Reduction Applied to Opacity Verification and Synthesis
AU  - Mona Noori-Hosseini
AU  - Bengt Lennartson
AU  - Christoforos Hadjicostis
PY  - 2019
UR  - https://arxiv.org/abs/1812.08083
ID  - 1812.08083
ER  -