Martin Tappler

Orcid: 0000-0002-4193-5609

Affiliations:
  • Graz University of Technology, Austria


According to our database1, Martin Tappler authored at least 37 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
Online shielding for reinforcement learning.
Innov. Syst. Softw. Eng., December, 2023

Learning Environment Models with Continuous Stochastic Dynamics.
CoRR, 2023

On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth.
CoRR, 2023

Differential Safety Testing of Deep RL Agents Enabled by Automata Learning.
Proceedings of the Bridging the Gap Between AI and Reality, 2023

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models.
Proceedings of the iFM 2023 - 18th International Conference, 2023

Testing-based Black-box Extraction of Simple Models from RNNs and Transformers.
Proceedings of the International Conference on Grammatical Inference, 2023

2022
AALpy: an active automata learning library.
Innov. Syst. Softw. Eng., 2022

Constrained Training of Recurrent Neural Networks for Automata Learning.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Timed Automata Learning via SMT Solving.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Automata Learning Meets Shielding.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Search-Based Testing of Reinforcement Learning.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Learning Finite State Models fromRecurrent Neural Networks.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Testing Software in Production Environments with Data from the Field.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2021
L<sup>*</sup>-based learning of Markov decision processes (extended version).
Formal Aspects Comput., 2021

Health of smart ecosystems.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Active Model Learning of Stochastic Reactive Systems.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Online Shielding for Stochastic Systems.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Adaptive Shielding under Uncertainty.
Proceedings of the 2021 American Control Conference, 2021

2020
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.
Proceedings of the Tests and Proofs - 14th International Conference, 2020

From Passive to Active: Learning Timed Automata Efficiently.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019
Efficient Active Automata Learning via Mutation Testing.
J. Autom. Reason., 2019

Probabilistic black-box reachability checking (extended version).
Formal Methods Syst. Des., 2019

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version).
CoRR, 2019

L*-Based Learning of Markov Decision Processes (Extended Version).
CoRR, 2019

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning.
Proceedings of the Testing Software and Systems, 2019

Time to Learn - Learning Timed Automata from Tests.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

L<sup>*</sup>-Based Learning of Markov Decision Processes.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
Learning Timed Automata via Genetic Programming.
CoRR, 2018

Automata Learning for Symbolic Execution.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Model Learning and Model-Based Testing.
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017
Probabilistic Black-Box Reachability Checking.
Proceedings of the Runtime Verification - 17th International Conference, 2017

Learning from Faults: Mutation Testing in Active Automata Learning.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Model-Based Testing IoT Communication via Active Automata Learning.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.
J. Log. Algebraic Methods Program., 2016

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing.
Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015


  Loading...