Kein Foto von Martin Tappler

Martin Tappler

Dipl.-Ing. Dr.techn., BSc

20162021

Publikationen pro Jahr

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint

Ergründen Sie die Forschungsthemen, in denen Martin Tappler aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
  • 1 Ähnliche Profile

Netzwerk

Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
  • 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. (Hrsg.). Cham: Springer, S. 67-73 7 S. (Lecture Notes in Computer Science; Band 12971 ).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • 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. (Hrsg.). Springer, S. 481-500 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13085 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • Adaptive Shielding under Uncertainty.

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

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • 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. (Hrsg.). S. 1491-1494 4 S. (ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • 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, S. 575-615 41 S.

    Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

    Open Access