Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning

von Aichernig, Bernhard K.
Veröffentlicht in TAP (14. : 2020 : Online) Tests and proofs (2020)

From Passive to Active: Learning Timed Automata Efficiently

von Aichernig, Bernhard K.
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Timed Automata Learning via SMT Solving

von Tappler, Martin
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Active Model Learning of Stochastic Reactive Systems

von Tappler, Martin
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Learning Finite State Models from Recurrent Neural Networks

von Muškardin, Edi
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)

AALpy: An Active Automata Leaming Library

von Muskardin, Edi
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Automata Learning Meets Shielding

von Tappler, Martin
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Constrained Training of Recurrent Neural Networks for Automata Leaming

von Aichernig, Bernhard K.
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)