Marta Grobelna

I am a researcher in formal verification and algorithmic analysis at the Technical University of Munich, working under the supervision of Prof. Jan Kretinsky.

My work focuses on stochastic games, verification algorithms, and the analysis of complex systems under uncertainty, with an emphasis on translating theoretical models into practical methods and software tools.

Previously, I worked at the Fraunhofer Institute for Cognitive Systems (IKS), contributing to industry projects on the safety and reliability of autonomous driving systems in collaboration with BMW and Huawei.

selected publications

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

Marta Grobelna, Jan Kretinsky, and Maximilian Weininger

2025

Bib

@article{lics25,
  title = {Stopping Criteria for Value Iteration on Concurrent
  Stochastic Reachability and Safety Games},
  author = {Grobelna, Marta and Kretinsky, Jan and Weininger, Maximilian},
  year = {2025},
  publisher = {LICS}
}