Martin Tappler
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Benchmarking combinations of learning and testing algorithms for automata learning Formal Aspects of Computing | 2025-02-12 | Paper |
| L^*-based learning of Markov decision processes | 2024-03-14 | Paper |
| Active model learning of stochastic reactive systems Software Engineering and Formal Methods | 2023-05-26 | Paper |
| Benchmarking combinations of learning and testing algorithms for active automata learning | 2022-11-09 | Paper |
| Learning finite state models from recurrent neural networks | 2022-08-19 | Paper |
| \(L^\ast\)-based learning of Markov decision processes (extended version) Formal Aspects of Computing | 2021-09-14 | Paper |
| Conformance checking of real-time models. Symbolic execution vs. bounded model checking | 2021-05-20 | Paper |
| Time to learn -- learning timed automata from tests | 2020-05-05 | Paper |
| Probabilistic black-box reachability checking (extended version) Formal Methods in System Design | 2019-11-25 | Paper |
| Efficient active automata learning via mutation testing Journal of Automated Reasoning | 2019-10-25 | Paper |
Research outcomes over time
This page was built for person: Martin Tappler
