Martin Tappler

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 50

Top Topics

Reinforcement Learning

Recurrent Neural Networks

Top Venues

Softw. Syst. Model.

Publications

Bernhard K. Aichernig, Martin Tappler, Felix Wallner
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. Formal Aspects Comput. 36 (1) (2024)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Active model learning of stochastic reactive systems (extended version). Softw. Syst. Model. 23 (2) (2024)
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. ACL (Findings) (2024)
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler
Learning minimal automata with recurrent neural networks. Softw. Syst. Model. 23 (3) (2024)
Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data. ICSE (2024)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig
Testing-based Black-box Extraction of Simple Models from RNNs and Transformers. ICGI (2023)
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online shielding for reinforcement learning. Innov. Syst. Softw. Eng. 19 (4) (2023)
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. CoRR (2023)
Martin Tappler, Bernhard K. Aichernig
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. AISoLA (2023)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. iFM (2023)
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
Learning Environment Models with Continuous Stochastic Dynamics. CoRR (2023)
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler
Constrained Training of Recurrent Neural Networks for Automata Learning. SEFM (2022)
Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler
Testing Software in Production Environments with Data from the Field. ICST (2022)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: an active automata learning library. Innov. Syst. Softw. Eng. 18 (3) (2022)
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
Search-Based Testing of Reinforcement Learning. CoRR (2022)
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
Search-Based Testing of Reinforcement Learning. IJCAI (2022)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Reinforcement Learning under Partial Observability Guided by Learned Environment Models. CoRR (2022)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning Meets Shielding. ISoLA (1) (2022)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning meets Shielding. CoRR (2022)
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online Shielding for Reinforcement Learning. CoRR (2022)
Martin Tappler, Bernhard K. Aichernig, Florian Lorber
Timed Automata Learning via SMT Solving. NFM (2022)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
Learning Finite State Models fromRecurrent Neural Networks. IFM (2022)
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online Shielding for Stochastic Systems. NFM (2021)
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
Adaptive Shielding under Uncertainty. ACC (2021)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33 (4-5) (2021)
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill
Active Model Learning of Stochastic Reactive Systems. SEFM (2021)
Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler
Health of smart ecosystems. ESEC/SIGSOFT FSE (2021)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: An Active Automata Learning Library. ATVA (2021)
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online Shielding for Stochastic Systems. CoRR (2020)
Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler
From Passive to Active: Learning Timed Automata Efficiently. NFM (2020)
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
Adaptive Shielding under Uncertainty. CoRR (2020)
Bernhard K. Aichernig, Martin Tappler, Felix Wallner
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. TAP@STAF (2020)
Bernhard K. Aichernig, Martin Tappler
Probabilistic black-box reachability checking (extended version). Formal Methods Syst. Des. 54 (3) (2019)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). CoRR (2019)
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
Model-Based Testing IoT Communication via Active Automata Learning. CoRR (2019)
Bernhard K. Aichernig, Martin Tappler
Efficient Active Automata Learning via Mutation Testing. J. Autom. Reason. 63 (4) (2019)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
-Based Learning of Markov Decision Processes. FM (2019)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ICTSS (2019)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
L*-Based Learning of Markov Decision Processes (Extended Version). CoRR (2019)
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
Time to Learn - Learning Timed Automata from Tests. FORMATS (2019)
Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
Model Learning and Model-Based Testing. Machine Learning for Dynamic Software Analysis (2018)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter
Automata Learning for Symbolic Execution. FMCAD (2018)
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
Learning Timed Automata via Genetic Programming. CoRR (2018)
Bernhard K. Aichernig, Martin Tappler
Learning from Faults: Mutation Testing in Active Automata Learning. NFM (2017)
Bernhard Großwindhager, Astrid Rupp, Martin Tappler, Markus Tranninger, Samuel Weiser, Bernhard K. Aichernig, Carlo Alberto Boano, Martin Horn, Gernot Kubin, Stefan Mangard, Martin Steinberger, Kay Römer
Dependable Internet of Things for Networked Cars. Int. J. Comput. 16 (2017)
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
Model-Based Testing IoT Communication via Active Automata Learning. ICST (2017)
Bernhard K. Aichernig, Martin Tappler
Probabilistic Black-Box Reachability Checking. RV (2017)
Bernhard K. Aichernig, Florian Lorber, Martin Tappler
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. Theory and Practice of Formal Methods (2016)
Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. J. Log. Algebraic Methods Program. 85 (5) (2016)
Bernhard K. Aichernig, Martin Tappler
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. Electron. Notes Theor. Comput. Sci. 320 (2016)