Gray-Box Learning of Serial Compositions of Mealy Machines

Andreas Abel 0002, Jan Reineke. Gray-Box Learning of Serial Compositions of Mealy Machines. In Sanjai Rayadurgam, Oksana Tkachuk, editors, NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Volume 9690 of Lecture Notes in Computer Science, pages 272-287, Springer, 2016. [doi]

Authors

Andreas Abel 0002

This author has not been identified. Look up 'Andreas Abel 0002' in Google

Jan Reineke

This author has not been identified. Look up 'Jan Reineke' in Google