Foto von Stefan Pranger

Stefan Pranger

BSc, Dipl.-Ing.

20192022

Publikationen pro Jahr

  • 4 Beitrag in einem Konferenzband
  • 1 Preprint

Suchergebnisse

  • 2022

    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
  • 2021

    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

  • 2020

    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

  • 2019

    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