Grey-Box Learning of Register Automata

Bharat Garhewal, Frits Vaandrager, Falk Howar +3

Model learning (a.k.a. active automata learning) is a highly effective technique for obtaining black-box finite state models of software components. Thus far, generalisation to inf…