Constrained Training of Recurrent Neural Networks for Automata Learning

Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher (Speaker), Dominik Schmidt, Martin Tappler

Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods
PublisherSpringer
Pages155-172
Number of pages18
ISBN (Print)978-3-031-17108-6
DOIs
Publication statusPublished - 2022
EventInternational Conference on Software Engineering and Formal Methods 2022 -
Duration: 26 Sept 202230 Sept 2022

Conference

ConferenceInternational Conference on Software Engineering and Formal Methods 2022
Period26/09/2230/09/22

Research Field

  • Dependable Systems Engineering

Cite this