@inproceedings{d1dc6752ed024efd977fff39db4cbbe2,
title = "Constrained Training of Recurrent Neural Networks for Automata Learning",
author = "Aichernig, {Bernhard K.} and Sandra K{\"o}nig and Cristinel Mateis and Andrea Pferscher and Dominik Schmidt and Martin Tappler",
year = "2022",
doi = "10.1007/978-3-031-17108-6_10",
language = "English",
isbn = "978-3-031-17108-6",
pages = "155--172",
booktitle = "Software Engineering and Formal Methods",
publisher = "Springer",
address = "Germany",
note = "International Conference on Software Engineering and Formal Methods 2022 ; Conference date: 26-09-2022 Through 30-09-2022",
}