Constrained Training of Recurrent Neural Networks for Automata Learning

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

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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Software Engineering and Formal Methods
Herausgeber (Verlag)	Springer, Cham
Band	13550
Publikationsstatus	Veröffentlicht - 2022
Veranstaltung	20th International Conference on Software Engineering and Formal Methods: SEFM 2022 - Berlin, Deutschland Dauer: 26 Sept. 2022 → 30 Sept. 2022

Publikationsreihe

Name	Lecture Notes in Computer Science
Band	13550

Konferenz

Konferenz	20th International Conference on Software Engineering and Formal Methods
Kurztitel	SEFM 2022
Land/Gebiet	Deutschland
Ort	Berlin
Zeitraum	26/09/22 → 30/09/22

1 Abgeschlossen
1 Laufend

LearnTwins - Lernende Digitale Zwillinge zur Validierung und Verifizierung von abhängigen Cyber-Physikalischen Systemen
Aichernig, B.
1/12/20 → 30/11/23
Projekt: Foschungsprojekt
Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Foschungsprojekt

Dieses zitieren

Aichernig, B, König, S, Mateis, C, Pferscher, A, Schmidt, D & Tappler, M 2022, Constrained Training of Recurrent Neural Networks for Automata Learning. in Software Engineering and Formal Methods. Bd. 13550, Lecture Notes in Computer Science, Bd. 13550, Springer, Cham, 20th International Conference on Software Engineering and Formal Methods, Berlin, Deutschland, 26/09/22.

@inproceedings{6ce8418a511b46eb9e27b971f5298e4c,

title = "Constrained Training of Recurrent Neural Networks for Automata Learning",

keywords = "Automata learning, Machine learning, Recurrent neural networks, Bluetooth Low Energy, Model inference",

author = "Bernhard Aichernig and Sandra K{\"o}nig and Cristinel Mateis and Andrea Pferscher and Dominik Schmidt and Martin Tappler",

year = "2022",

language = "English",

volume = "13550",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Cham",

booktitle = "Software Engineering and Formal Methods",

note = "20th International Conference on Software Engineering and Formal Methods : SEFM 2022, SEFM 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

AU - König, Sandra

AU - Mateis, Cristinel

AU - Pferscher, Andrea

AU - Schmidt, Dominik

AU - Tappler, Martin

PY - 2022

Y1 - 2022

KW - Automata learning

KW - Machine learning

KW - Recurrent neural networks

KW - Bluetooth Low Energy

KW - Model inference

M3 - Conference paper

VL - 13550

T3 - Lecture Notes in Computer Science

BT - Software Engineering and Formal Methods

PB - Springer, Cham

T2 - 20th International Conference on Software Engineering and Formal Methods

Y2 - 26 September 2022 through 30 September 2022

ER -

Constrained Training of Recurrent Neural Networks for Automata Learning

Publikationsreihe

Konferenz

Projekte

LearnTwins - Lernende Digitale Zwillinge zur Validierung und Verifizierung von abhängigen Cyber-Physikalischen Systemen

Verlaesslichkeit im Internet der Dinge

Dieses zitieren