Constrained Training of Recurrent Neural Networks for Automata Learning

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Software Engineering and Formal Methods
Publisher	Springer
Pages	155-172
Number of pages	18
ISBN (Print)	978-3-031-17108-6
DOIs	https://doi.org/10.1007/978-3-031-17108-6_10
Publication status	Published - 2022
Event	International Conference on Software Engineering and Formal Methods 2022 - Duration: 26 Sept 2022 → 30 Sept 2022

Conference	International Conference on Software Engineering and Formal Methods 2022
Period	26/09/22 → 30/09/22

Research Field

@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",

}

TY - GEN

T1 - Constrained Training of Recurrent Neural Networks for Automata Learning

AU - Aichernig, Bernhard K.

AU - König, Sandra

AU - Mateis, Cristinel

AU - Schmidt, Dominik

AU - Tappler, Martin

A2 - Pferscher, Andrea

PY - 2022

Y1 - 2022

U2 - 10.1007/978-3-031-17108-6_10

DO - 10.1007/978-3-031-17108-6_10

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-031-17108-6

SP - 155

EP - 172

BT - Software Engineering and Formal Methods

PB - Springer

T2 - International Conference on Software Engineering and Formal Methods 2022

Y2 - 26 September 2022 through 30 September 2022

ER -