TY  - RPRT
TI  - On Algorithms verifying Initial-and-Final-State Opacity: Complexity, Special Cases, and Comparison
AU  - Tomáš Masopust
AU  - Petr Osička
PY  - 2024
UR  - https://arxiv.org/abs/2402.17000
ID  - 2402.17000
ER  -