Alert button
Picture for Martin Tappler

Martin Tappler

Alert button

Learning Environment Models with Continuous Stochastic Dynamics

Jun 29, 2023
Martin Tappler, Edi Muškardin, Bernhard K. Aichernig, Bettina Könighofer

Figure 1 for Learning Environment Models with Continuous Stochastic Dynamics
Figure 2 for Learning Environment Models with Continuous Stochastic Dynamics
Figure 3 for Learning Environment Models with Continuous Stochastic Dynamics
Figure 4 for Learning Environment Models with Continuous Stochastic Dynamics
Viaarxiv icon

On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth

Jun 29, 2023
Edi Muškardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock

Viaarxiv icon

Online Shielding for Reinforcement Learning

Dec 04, 2022
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

Viaarxiv icon

Automata Learning meets Shielding

Dec 04, 2022
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muškardin, Roderick Bloem, Kim Larsen

Viaarxiv icon

Reinforcement Learning under Partial Observability Guided by Learned Environment Models

Jun 23, 2022
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill

Figure 1 for Reinforcement Learning under Partial Observability Guided by Learned Environment Models
Figure 2 for Reinforcement Learning under Partial Observability Guided by Learned Environment Models
Figure 3 for Reinforcement Learning under Partial Observability Guided by Learned Environment Models
Figure 4 for Reinforcement Learning under Partial Observability Guided by Learned Environment Models
Viaarxiv icon

Search-Based Testing of Reinforcement Learning

May 14, 2022
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer

Figure 1 for Search-Based Testing of Reinforcement Learning
Figure 2 for Search-Based Testing of Reinforcement Learning
Figure 3 for Search-Based Testing of Reinforcement Learning
Figure 4 for Search-Based Testing of Reinforcement Learning
Viaarxiv icon

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

Jul 10, 2019
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger

Figure 1 for Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
Figure 2 for Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
Figure 3 for Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
Figure 4 for Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
Viaarxiv icon

L*-Based Learning of Markov Decision Processes (Extended Version)

Jun 28, 2019
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen

Figure 1 for L*-Based Learning of Markov Decision Processes (Extended Version)
Figure 2 for L*-Based Learning of Markov Decision Processes (Extended Version)
Figure 3 for L*-Based Learning of Markov Decision Processes (Extended Version)
Figure 4 for L*-Based Learning of Markov Decision Processes (Extended Version)
Viaarxiv icon