Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Tappler, Martin
48  Ergebnisse:
Personensuche X
?
1

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/..
 
?
2

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..
 
?
3

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/..
 
?
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

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/..
 
?
7

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/..
 
?
8

Testing Software in Production Environments with Data from ..:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),
Gazzola, Luca ; Mariani, Leonardo ; Orru, Matteo.. - p. 58-69 , 2022
Link: https://doi.org/10.1109/..
 
?
9

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/..
 
?
10

Automata Learning Meets Shielding:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Tappler, Martin ; Pranger, Stefan ; Könighofer, Bettina... - p. 335-359 , 2022
Link: https://doi.org/10.1007/..
 
?
11

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/..
 
?
12

Online shielding for reinforcement learning:

Könighofer, Bettina ; Rudolf, Julian ; Palmisano, Alexander..
Innovations in Systems and Software Engineering.  19 (2022)  4 - p. 379-394 , 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

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/..
 
?
15

Health of smart ecosystems:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
El Moussa, Noura ; Molinelli, Davide ; Pezzè, Mauro. - p. 1491-1494 , 2021
Link: https://dl.acm.org/doi/1..
 
1-15