TY  - RPRT
TI  - A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence
AU  - Gabriel de Albuquerque Gleizer
AU  - Khushraj Nanik Madnani
AU  - Manuel Mazo Jr
PY  - 2022
DO  - 10.1145/3501710.3519534
UR  - https://arxiv.org/abs/2203.01672
ID  - 2203.01672
ER  -