TY  - RPRT
TI  - Inferring Symbolic Automata
AU  - Dana Fisman
AU  - Hadar Frenkel
AU  - Sandra Zilles
PY  - 2023
DO  - 10.46298/lmcs-19(2:5)2023
UR  - https://arxiv.org/abs/2112.14252
ID  - 2112.14252
ER  -