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^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Software Engineering and Formal Methods
Publisher	Springer, Cham
Volume	13550
Publication status	Published - 2022
Event	20th International Conference on Software Engineering and Formal Methods: SEFM 2022 - Berlin, Germany Duration: 26 Sept 2022 → 30 Sept 2022

Publication series

Name	Lecture Notes in Computer Science
Volume	13550

Conference

Conference	20th International Conference on Software Engineering and Formal Methods
Abbreviated title	SEFM 2022
Country/Territory	Germany
City	Berlin
Period	26/09/22 → 30/09/22

Keywords

Automata learning
Machine learning
Recurrent neural networks
Bluetooth Low Energy
Model inference

LearnTwins - Learning Digital Twins for the Validation and Verification of Dependable Cyber-PhysicalSystems
Aichernig, B. (Co-Investigator (CoI))
1/12/20 → 30/11/23
Project: Research project
Dependable Internet of Things
Boano, C. A. (Co-Investigator (CoI)), Kubin, G. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Pernkopf, F. (Co-Investigator (CoI)), Zakany, N. (Co-Investigator (CoI)), Mangard, S. (Co-Investigator (CoI)), Witrisal, K. (Co-Investigator (CoI)), Römer, K. U. (Co-Investigator (CoI)), Aichernig, B. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)), Baunach, M. C. (Co-Investigator (CoI)), Tappler, M. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Weiser, S. (Co-Investigator (CoI)), Eichlseder, M. (Co-Investigator (CoI)), Leitinger, E. (Co-Investigator (CoI)), Grosinger, J. (Co-Investigator (CoI)), Großwindhager, B. (Co-Investigator (CoI)), Ebrahimi, M. (Co-Investigator (CoI)), Alothman Alterkawi, A. B. (Co-Investigator (CoI)), Knoll, C. (Co-Investigator (CoI)), Teschl, R. (Co-Investigator (CoI)), Saukh, O. (Co-Investigator (CoI)), Rath, M. (Co-Investigator (CoI)), Steinberger, M. (Co-Investigator (CoI)), Steinbauer-Wagner, G. (Co-Investigator (CoI)) & Tranninger, M. (Co-Investigator (CoI))
1/01/16 → 31/03/22
Project: Research project

Cite this

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. vol. 13550, Lecture Notes in Computer Science, vol. 13550, Springer, Cham, 20th International Conference on Software Engineering and Formal Methods, Berlin, Germany, 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

Publication series

Conference

Keywords

Projects

LearnTwins - Learning Digital Twins for the Validation and Verification of Dependable Cyber-PhysicalSystems

Dependable Internet of Things

Cite this