Behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment. - Marta Grobelna (EDCC Workshops, 2021)

Dynamic Risk Management for Safely Automating Connected Driving Maneuvers. - Marta Grobelna; João-Vitor Zacchi; Philipp Schleiß; Simon Burton 001 (EDCC, 2021)

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)

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)

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)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games. - Marta Grobelna; Jan Kretínský; Maximilian Weininger (CoRR, 2025)