Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Constrained Training of Recurrent Neural Networks for Automata Learning

  • Bernhard K. Aichernig
  • , Sandra König
  • , Cristinel Mateis
  • , Andrea Pferscher (Vortragende:r)
  • , Dominik Schmidt
  • , Martin Tappler
    • Graz University of Technology

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    OriginalspracheEnglisch
    TitelSoftware Engineering and Formal Methods
    Herausgeber (Verlag)Springer
    Seiten155-172
    Seitenumfang18
    ISBN (Print)978-3-031-17108-6
    DOIs
    PublikationsstatusVeröffentlicht - 2022
    VeranstaltungInternational Conference on Software Engineering and Formal Methods 2022 -
    Dauer: 26 Sept. 202230 Sept. 2022

    Konferenz

    KonferenzInternational Conference on Software Engineering and Formal Methods 2022
    Zeitraum26/09/2230/09/22

    Research Field

    • Dependable Systems Engineering

    Diese Publikation zitieren