TY  - RPRT
TI  - Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
AU  - Cheng Zhang
AU  - Qiancheng Fu
AU  - Hang Ji
AU  - Ines Santacruz Del Valle
AU  - Alexandra Silva
AU  - Marco Gaboardi
PY  - 2026
DO  - 10.1007/978-3-032-22723-2_14
UR  - https://arxiv.org/abs/2601.09986
ID  - 2601.09986
ER  -