Sabine Rieder, M.Sc.

2026

• Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation

  KŘETÍNSKÝ Jan RIEDER Sabine SCHWALBE Gesina SHOEB Youssef

  Stať ve sborníku

  International Conference on Runtime Verification, rok: 2026

2025

• A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community

  KANAV Sudeep KŘETÍNSKÝ Jan RIEDER Sabine

  Kapitola v odborné knize

  Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, rok: 2025, počet stran: 27 s., DOI

• Explainably Safe Reinforcement Learning

  RIEDER Sabine PRANGER Stefan CHAKRABORTY Debraj KŘETÍNSKÝ Jan KÖNIGHOFER Bettina

  Stať ve sborníku

  The Thirty-ninth Annual Conference on Neural Information Processing Systems, rok: 2025

• Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces

  HASHEMI Vahid KŘETÍNSKÝ Jan RIEDER Sabine SCHÖN Torsten VORHOFF Jan

  Stať ve sborníku

  RV 2024, 24th International Conference on Runtime Verification, rok: 2025, DOI

2024

• Monitizer: Automating Design and Evaluation of Neural Network Monitors

  AZEEM Muqsit GROBELNA Marta KANAV Sudeep KŘETÍNSKÝ Jan MOHR Stefanie RIEDER Sabine

  Stať ve sborníku

  CAV 2024, International Conference on Computer Aided Verification, rok: 2024, DOI

2023

• Guessing Winning Policies in LTL Synthesis by Semantic Learning

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias PROKOP Maximilian RIEDER Sabine

  Stať ve sborníku

  Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I, rok: 2023, DOI

• Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks

  HASHEMI Vahid KŘETÍNSKÝ Jan RIEDER Sabine SCHMIDT Jessica

  Stať ve sborníku

  FORMAL METHODS, FM 2023, rok: 2023, DOI