Martin Tappler

Available identifiers

zbMath Open tappler.martinMaRDI QIDQ1982637

List of research outcomes

Publication	Date of Publication	Type
\(L^*\)-based learning of Markov decision processes	2024-03-14	Paper
Active model learning of stochastic reactive systems	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)	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)	2019-11-25	Paper
Efficient active automata learning via mutation testing	2019-10-25	Paper

Research outcomes over time

This page was built for person: Martin Tappler