Grey-Box Learning of Register Automata. - Bharat Garhewal; Frits W. Vaandrager; Falk Howar; Timo Schrijvers; Toon Lenaerts; Rob Smits (IFM, 2020)