Martin Tappler

MaRDI QIDQ1982637zbMATH OpenFDO

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