Constrained Training of Recurrent Neural Networks for Automata Learning

Bernhard Aichernig*, Sandra König*, Cristinel Mateis*, Andrea Pferscher*, Dominik Schmidt*, Martin Tappler*

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelSoftware Engineering and Formal Methods
Herausgeber (Verlag)Springer, Cham
Band13550
PublikationsstatusVeröffentlicht - 2022
Veranstaltung20th International Conference on Software Engineering and Formal Methods: SEFM 2022 - Berlin, Deutschland
Dauer: 26 Sept. 202230 Sept. 2022

Publikationsreihe

NameLecture Notes in Computer Science
Band13550

Konferenz

Konferenz20th International Conference on Software Engineering and Formal Methods
KurztitelSEFM 2022
Land/GebietDeutschland
OrtBerlin
Zeitraum26/09/2230/09/22

Dieses zitieren