TY  - RPRT
TI  - Guarded Kleene Algebra with Tests: Automata Learning
AU  - Stefan Zetzsche
AU  - Alexandra Silva
AU  - Matteo Sammartino
PY  - 2023
DO  - 10.46298/entics.10505
UR  - https://arxiv.org/abs/2204.14153
ID  - 2204.14153
ER  -