I agree that this site is using cookies. You can find further informations here.
X
Aichernig, Bernhard K.
100  results:
Search for persons X
?
1

Learning and Repair of Deep Reinforcement Learning Policies..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,
Tappler, Martin ; Pferscher, Andrea ; Aichernig, Bernhard K.. - p. 1-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,
Wallner, Felix ; Aichernig, Bernhard K. ; Burghard, Christian - p. 1-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Learning and Repair of Deep Reinforcement Learning Policies..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),
Tappler, Martin ; Pferscher, Andrea ; Aichernig, Bernhard K.. - p. 38-50 , 2024
Link: https://doi.org/10.1145/..
 
?
4

Benchmarking Combinations of Learning and Testing Algorithm..:

Aichernig, Bernhard K. ; Tappler, Martin ; Wallner, Felix
Formal Aspects of Computing.  36 (2024)  1 - p. 1-37 , 2024
Link: https://doi.org/10.1145/..
 
?
5

Active model learning of stochastic reactive systems (exten..:

Muškardin, Edi ; Tappler, Martin ; Aichernig, Bernhard K..
Software and Systems Modeling.  23 (2024)  2 - p. 503-524 , 2024
Link: https://doi.org/10.1007/..
 
?
6

Learning minimal automata with recurrent neural networks:

Aichernig, Bernhard K. ; König, Sandra ; Mateis, Cristinel..
Software and Systems Modeling.  23 (2024)  3 - p. 625-655 , 2024
Link: https://doi.org/10.1007/..
 
?
7

It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),
Wallner, Felix ; Aichernig, Bernhard K. ; Burghard, Christian - p. 327-339 , 2024
Link: https://doi.org/10.1145/..
 
?
8

Reinforcement Learning Under Partial Observability Guided b..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Muškardin, Edi ; Tappler, Martin ; Aichernig, Bernhard K.. - p. 257-276 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Differential Safety Testing of Deep RL Agents Enabled by Au..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Tappler, Martin ; Aichernig, Bernhard K. - p. 138-159 , 2023
Link: https://doi.org/10.1007/..
 
?
10

Stateful Black-Box Fuzzing of Bluetooth Devices Using Autom..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Pferscher, Andrea ; Aichernig, Bernhard K. - p. 373-392 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Constrained Training of Recurrent Neural Networks for Autom..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Aichernig, Bernhard K. ; König, Sandra ; Mateis, Cristinel... - p. 155-172 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Fingerprinting and analysis of Bluetooth devices with autom..:

Pferscher, Andrea ; Aichernig, Bernhard K.
Formal Methods in System Design.  61 (2022)  1 - p. 35-62 , 2022
Link: https://doi.org/10.1007/..
 
?
13

AALpy: an active automata learning library:

Muškardin, Edi ; Aichernig, Bernhard K. ; Pill, Ingo..
Innovations in Systems and Software Engineering.  18 (2022)  3 - p. 417-426 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Learning Finite State Models from Recurrent Neural Networks:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Muškardin, Edi ; Aichernig, Bernhard K. ; Pill, Ingo. - p. 229-248 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Timed Automata Learning via SMT Solving:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Tappler, Martin ; Aichernig, Bernhard K. ; Lorber, Florian - p. 489-507 , 2022
Link: https://doi.org/10.1007/..
 
1-15