Marta Grobelna

Orcid: 0009-0003-3314-3358

According to our database¹, Marta Grobelna authored at least 11 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games.

[BibT_eX]

[DOI]

Marta Grobelna

Jan Kretínský

Maximilian Weininger

CoRR, May, 2025

2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

[BibT_eX]

[DOI]

Dataset, May, 2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

[BibT_eX]

[DOI]

Dataset, April, 2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

[BibT_eX]

[DOI]

Dataset, April, 2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

[BibT_eX]

[DOI]

Dataset, April, 2024

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors.

[BibT_eX]

[DOI]

Dataset, April, 2024

Monitizer: Automating Design and Evaluation of Neural Network Monitors.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Monitizer.

[BibT_eX]

[DOI]

Dataset, October, 2023

Monitizer.

[BibT_eX]

[DOI]

Dataset, October, 2023

2021

Dynamic Risk Management for Safely Automating Connected Driving Maneuvers.

[BibT_eX]

[DOI]

Proceedings of the 17th European Dependable Computing Conference, 2021

Behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment.

[BibT_eX]

[DOI]

Marta Grobelna

Proceedings of the Dependable Computing - EDCC 2021 Workshops, 2021

Marta Grobelna

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...