Constrained Training of Recurrent Neural Networks for Automata Learning

Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler. Constrained Training of Recurrent Neural Networks for Automata Learning. In Bernd-Holger Schlingloff, Ming Chai, editors, Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings. Volume 13550 of Lecture Notes in Computer Science, pages 155-172, Springer, 2022. [doi]

Authors

Bernhard K. Aichernig

This author has not been identified. Look up 'Bernhard K. Aichernig' in Google

Sandra König

This author has not been identified. Look up 'Sandra König' in Google

Cristinel Mateis

This author has not been identified. Look up 'Cristinel Mateis' in Google

Andrea Pferscher

This author has not been identified. Look up 'Andrea Pferscher' in Google

Dominik Schmidt

This author has not been identified. Look up 'Dominik Schmidt' in Google

Martin Tappler

This author has not been identified. Look up 'Martin Tappler' in Google