Kein Foto von Stefan Pranger

Stefan Pranger

BSc, Dipl.-Ing.

20192022

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 Stefan Pranger aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
  • 1 Ähnliche Profile
Vollständigen Fingerprint anzeigen

Netzwerk

Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
Netzwerk genauer erkunden
  • 4 Beitrag in einem Konferenzband
  • 1 Preprint

  • Automata Learning meets Shielding

    Tappler, M., Pranger, S., Könighofer, B., Muskardin, E., Bloem, R. & Larsen, K. G., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings: ISoLA 2022. Margaria, T. & Steffen, B. (Hrsg.). Cham: Springer, S. 335-359 25 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13701 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

    Datei

  • 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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

    Pranger, S., Könighofer, B., Posch, L. & Bloem, R., 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings. Hou, Z. & Ganesh, V. (Hrsg.). Cham: Springer, S. 222-228 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12971 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Adaptive Shielding under Uncertainty

    Pranger, S., Könighofer, B., Tappler, M., Deixelberger, M., Jansen, N. & Bloem, R., 8 Okt. 2020, 8 S. (arXiv.org e-Print archive).

    Publikation: Arbeitspapier › Preprint

  • Run-Time Optimization for Learned Controllers Through Quantitative Games

    Avni, G., Bloem, R., Chatterjee, K., Henzinger, T., Könighofer, B. & Pranger, S., 15 Juli 2019, Computer Aided Verification (CAV). Dillig, I. & Tasiran, S. (Hrsg.). 31 Aufl. Springer, Band 11561. S. 630-649 ( Lecture Notes in Computer Science; Band 11561).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

    Open Access