Martin Tappler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
15
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Scalable Learning of Challenging Normative Behaviours with Deep RL. | Emery A. Neufeld, Thorsten Engesser, Martin Tappler |
| 2025 | ECAI | OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents. | Ignacio D. Lopez-Miguel, Sebastian P. Adam, Ezio Bartocci, Thomas Eiter, Martin Tappler |
| 2025 | IJCAI | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement. | Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci |
| 2025 | ICST | Mutating Skeletons: Learning Timed Automata via Domain Knowledge. | Felix Wallner, Bernhard K. Aichernig, Florian Lorber, Martin Tappler |
| 2024 | ACL | On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. | Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock |
| 2024 | ICSE | Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data. | Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Knighofer |
| 2024 | ICST | Active Model Learning of Git Version Control System. | Edi Muskardin, Tamim Burgstaller, Martin Tappler, Bernhard K. Aichernig |
| 2024 | ICST | Bridging the Gap Between Models in RL: Test Models vs. Neural Networks. | Martin Tappler, Florian Lorber |
| 2024 | ICST | Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing. | Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Knighofer |
| 2024 | SEFM | Hierarchical Learning of Generative Automaton Models from Sequential Data. | Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler |
| 2023 | IFM | Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. | Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill |
| 2023 | VECoS | Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. | Martin Tappler, Bernhard K. Aichernig |
| 2022 | IJCAI | Search-Based Testing of Reinforcement Learning. | Martin Tappler, Filip Cano Crdoba, Bernhard K. Aichernig, Bettina Knighofer |
| 2022 | ICST | Testing Software in Production Environments with Data from the Field. | Luca Gazzola, Leonardo Mariani, Matteo Orr, Mauro Pezz, Martin Tappler |
| 2022 | IFM | Learning Finite State Models fromRecurrent Neural Networks. | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler |
| 2022 | ISoLA | Automata Learning Meets Shielding. | Martin Tappler, Stefan Pranger, Bettina Knighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen |
| 2022 | SEFM | Constrained Training of Recurrent Neural Networks for Automata Learning. | Bernhard K. Aichernig, Sandra Knig, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler |
| 2021 | ATVA | AALpy: An Active Automata Learning Library. | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler |
| 2021 | SEFM | Active Model Learning of Stochastic Reactive Systems. | Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill |
| 2020 | TAP | Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. | Bernhard K. Aichernig, Martin Tappler, Felix Wallner |
| 2019 | FM | L | Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen |
| 2018 | FMCAD | Automata Learning for Symbolic Execution. | Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter |
| 2017 | ICST | Model-Based Testing IoT Communication via Active Automata Learning. | Martin Tappler, Bernhard K. Aichernig, Roderick Bloem |
| 2017 | RV | Probabilistic Black-Box Reachability Checking. | Bernhard K. Aichernig, Martin Tappler |