Bernhard Aichernig
Technische Universität Graz
H-index: 30
Europe-Austria
Top articles of Bernhard Aichernig
Active model learning of stochastic reactive systems (extended version)
2021/12/3
Learning minimal automata with recurrent neural networks
Software and Systems Modeling
2024/3/21
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
Formal Aspects of Computing
2024/3/20
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
2024/2/6
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data
2024/2/6
A framework for embedded software portability and verification: from formal models to low-level code
Software and Systems Modeling
2024/2/1
Bernhard Aichernig
H-Index: 16
Marcel Baunach
H-Index: 5
Reinforcement learning under partial observability guided by learned environment models
2023/11/6
Differential safety testing of deep RL agents enabled by automata learning
2023/10/23
Testing-based Black-box Extraction of Simple Models from RNNs and Transformers
2023/7/5
Learning Environment Models with Continuous Stochastic Dynamics
arXiv preprint arXiv:2306.17204
2023/6/29
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth
arXiv preprint arXiv:2306.16854
2023/6/29
AI-assisted programming with test-based refinement
AISoLA
2023
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins
Research report http://urn. nb. no/URN: NBN: no-35645
2023
Search-based testing of reinforcement learning
arXiv preprint arXiv:2205.04887
2022/5/7
Constrained Training of Recurrent Neural Networks for Automata Learning
2022
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
2022/9
AALpy: an active automata learning library
2021/10/18