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 proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods
Place of PublicationCham
PublisherSpringer Nature Switzerland AG
Publication statusAccepted/In press - 2022
Event20th International Conference on Software Engineering and Formal Methods: SEFM 2022 - Berlin, Germany
Duration: 26 Sep 202230 Sep 2022

Publication series

NameLecture Notes in Computer Science
Volume13550

Conference

Conference20th International Conference on Software Engineering and Formal Methods
Abbreviated titleSEFM 2022
Country/TerritoryGermany
CityBerlin
Period26/09/2230/09/22

Keywords

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

Cite this