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
