@inproceedings{habbachi2023language,
  title={On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation},
  author={Habbachi, Salwa and Ben Hafaiedh, Imene and Li, Zhiwu and Krichen, Moez},
  booktitle={International Conference on Verification and Evaluation of Computer and Communication Systems},
  pages={45--59},
  year={2023},
  organization={Springer Nature Switzerland Cham}
}