TY  - RPRT
TI  - Grey-Box Learning of Register Automata
AU  - Bharat Garhewal
AU  - Frits Vaandrager
AU  - Falk Howar
AU  - Timo Schrijvers
AU  - Toon Lenaerts
AU  - Rob Smits
PY  - 2020
UR  - https://arxiv.org/abs/2009.09975
ID  - 2009.09975
ER  -