No photo of Martin Tappler

Martin Tappler

Dipl.-Ing. Dr.techn., BSc

20162021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Martin Tappler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • AALpy: An Active Automata Learning Library

    Muskardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., 2021, Automated Technology for Verification and Analysis - ATVA 2021. Hou, Z. & Ganesh, V. (eds.). Cham: Springer, p. 67-73 7 p. (Lecture Notes in Computer Science; vol. 12971 ).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • Active Model Learning of Stochastic Reactive Systems

    Tappler, M., Muskardin, E., Aichernig, B. K. & Pill, I., 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings. Calinescu, R. & Pasareanu, C. S. (eds.). Springer, p. 481-500 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13085 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • Adaptive Shielding under Uncertainty.

    Pranger, S., Könighofer, B., Tappler, M., Deixelberger, M., Jansen, N. & Bloem, R., 25 May 2021, 2021 American Control Conference, ACC 2021. p. 3467-3474 8 p. 9482889. (Proceedings of the American Control Conference; vol. 2021-May).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • Health of smart ecosystems

    Moussa, N. E., Molinelli, D., Pezzè, M. & Tappler, M., 20 Aug 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). p. 1491-1494 4 p. (ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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

    Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., Aug 2021, In: Formal Aspects of Computing. 33, 4-5, p. 575-615 41 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access