Martin Tappler

61 papers A* 4A 4B 9C 2Journal 25Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Finite-State Controllers for (Hidden-Model) POMDPs using Deep Reinforcement Learning.
CoRR
David Hudák, Maris F. L. Galesloot, Martin Tappler, Martin Kurecka, Nils Jansen, Milan Ceska
2025 — conf
Mutating Skeletons: Learning Timed Automata via Domain Knowledge.
ICSTW
Felix Wallner, Bernhard K. Aichernig, Florian Lorber, Martin Tappler
2025 A conf
OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents.
ECAI
Ignacio D. Lopez-Miguel, Sebastian P. Adam, Ezio Bartocci, Thomas Eiter, Martin Tappler
2025 A* conf
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement.
IJCAI
Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci
2025 J jnl
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement.
CoRR
Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci
2024 — conf
Active Model Learning of Git Version Control System.
ICSTW
Edi Muskardin, Tamim Burgstaller, Martin Tappler, Bernhard K. Aichernig
2024 J jnl
Active model learning of stochastic reactive systems (extended version).
Softw. Syst. Model.
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
2024 J jnl
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning.
Formal Aspects Comput.
Bernhard K. Aichernig, Martin Tappler, Felix Wallner
2024 — conf
Bridging the Gap Between Models in RL: Test Models vs. Neural Networks.
ICSTW
Martin Tappler, Florian Lorber
2024 B conf
Hierarchical Learning of Generative Automaton Models from Sequential Data.
SEFM
Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler
2024 A conf
Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing.
ICST
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
2024 A* conf
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data.
ICSE
Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer
2024 J jnl
Learning minimal automata with recurrent neural networks.
Softw. Syst. Model.
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler
2024 — conf
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures.
ACL (Findings)
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
2024 A* conf
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning.
NeurIPS
Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2024 J jnl
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning.
CoRR
Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2023 — conf
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning.
AISoLA
Martin Tappler, Bernhard K. Aichernig
2023 J jnl
Learning Environment Models with Continuous Stochastic Dynamics.
CoRR
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
2023 J jnl
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth.
CoRR
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
2023 J jnl
Online shielding for reinforcement learning.
Innov. Syst. Softw. Eng.
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2023 B conf
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models.
iFM
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
2023 — conf
Testing-based Black-box Extraction of Simple Models from RNNs and Transformers.
ICGI
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig
2022 J jnl
AALpy: an active automata learning library.
Innov. Syst. Softw. Eng.
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
2022 — conf
Automata Learning Meets Shielding.
ISoLA (1)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022 J jnl
Automata Learning meets Shielding.
CoRR
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022 B conf
Constrained Training of Recurrent Neural Networks for Automata Learning.
SEFM
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler
2022 B conf
Learning Finite State Models fromRecurrent Neural Networks.
IFM
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
2022 J jnl
Online Shielding for Reinforcement Learning.
CoRR
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2022 J jnl
Reinforcement Learning under Partial Observability Guided by Learned Environment Models.
CoRR
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
2022 A* conf
Search-Based Testing of Reinforcement Learning.
IJCAI
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
2022 J jnl
Search-Based Testing of Reinforcement Learning.
CoRR
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
2022 A conf
Testing Software in Production Environments with Data from the Field.
ICST
Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler
2022 — conf
Timed Automata Learning via SMT Solving.
NFM
Martin Tappler, Bernhard K. Aichernig, Florian Lorber
2021 B conf
AALpy: An Active Automata Learning Library.
ATVA
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
2021 B conf
Active Model Learning of Stochastic Reactive Systems.
SEFM
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill
2021 C conf
Adaptive Shielding under Uncertainty.
ACC
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2021 — conf
Health of smart ecosystems.
ESEC/SIGSOFT FSE
Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler
2021 J jnl
L
Formal Aspects Comput.
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2021 — conf
Online Shielding for Stochastic Systems.
NFM
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2020 J jnl
Adaptive Shielding under Uncertainty.
CoRR
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2020 — conf
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.
TAP@STAF
Bernhard K. Aichernig, Martin Tappler, Felix Wallner
2020 — conf
From Passive to Active: Learning Timed Automata Efficiently.
NFM
Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler
2020 J jnl
Online Shielding for Stochastic Systems.
CoRR
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2019 J jnl
Efficient Active Automata Learning via Mutation Testing.
J. Autom. Reason.
Bernhard K. Aichernig, Martin Tappler
2019 B conf
L
FM
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2019 J jnl
L*-Based Learning of Markov Decision Processes (Extended Version).
CoRR
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2019 J jnl
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version).
CoRR
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
2019 C conf
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning.
ICTSS
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
2019 J jnl
Model-Based Testing IoT Communication via Active Automata Learning.
CoRR
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
2019 J jnl
Probabilistic black-box reachability checking (extended version).
Formal Methods Syst. Des.
Bernhard K. Aichernig, Martin Tappler
2019 — conf
Time to Learn - Learning Timed Automata from Tests.
FORMATS
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
2018 B conf
Automata Learning for Symbolic Execution.
FMCAD
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter
2018 J jnl
Learning Timed Automata via Genetic Programming.
CoRR
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
2018 — conf
Model Learning and Model-Based Testing.
Machine Learning for Dynamic Software Analysis
Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
2017 J jnl
Dependable Internet of Things for Networked Cars.
Int. J. Comput.
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
2017 — conf
Learning from Faults: Mutation Testing in Active Automata Learning.
NFM
Bernhard K. Aichernig, Martin Tappler
2017 A conf
Model-Based Testing IoT Communication via Active Automata Learning.
ICST
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
2017 B conf
Probabilistic Black-Box Reachability Checking.
RV
Bernhard K. Aichernig, Martin Tappler
2016 — conf
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.
Theory and Practice of Formal Methods
Bernhard K. Aichernig, Florian Lorber, Martin Tappler
2016 J jnl
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.
J. Log. Algebraic Methods Program.
Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler
2015 — conf
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing.
USE@FM
Bernhard K. Aichernig, Martin Tappler