Guessing Winning Policies in LTL Synthesis by Semantic Learning. - Jan Kretínský; Tobias Meggendorfer; Maximilian Prokop; Sabine Rieder (CAV (1), 2023)

Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. - Vahid Hashemi; Jan Kretínský; Sabine Rieder; Jessica Schmidt (FM, 2023)

Monitizer. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (Zenodo, 2023)

Monitizer. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (Zenodo, 2023)

A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community. - Sudeep Kanav; Jan Kretínský; Sabine Rieder (Principles of Verification (3), 2024)

Monitizer: Automating Design and Evaluation of Neural Network Monitors. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (CAV (2), 2024)

Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. - Vahid Hashemi; Jan Kretínský; Sabine Rieder; Torsten Schön; Jan Vorhoff (RV, 2024)

A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions. - Saeed Rahmani; Sabine Rieder; Erwin de Gelder; Marcel Sonntag; Jorge Lorente Mallada; Sytze Kalisvaart; Vahid Hashemi; Simeon C. Calvert (CoRR, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)