TY  - RPRT
TI  - GPU-Accelerated Search and Certification of Bounded Indistinguishability in Finite Kripke Semantics
AU  - Faruk Alpay
AU  - Baris Basaran
PY  - 2026
UR  - https://arxiv.org/abs/2606.15437
ID  - 2606.15437
ER  -