CV
Contact Information
| Name | Marta Grobelna |
| Professional Title | PhD Student |
| marta.grobelna@tum.de | |
| Location | Boltzmannstr. 3, Garching bei München, Bavaria 85748 |
Professional Summary
I am a PhD student at the Technical University of Munich, working on algorithms for stochastic games. I am particularly interested in concurrent stochastic games played on graphs, and the synthesis of controllers for such games. I have a strong background in theoretical computer science and have many years of experience in developing software. My experience is not limited to the development of research code. Since years I am developing one of the most popular teaching tools for learning automata theory, called Automata Tutor.
Experience
-
2019 - 2022 Munich, Germany
Researcher/ PhD Student
Fraunhofer Institute for Cognitive Systems IKS
I was working on multiple industrial research projects, searching for solutions for safety related problems especially in the area of autonomous driving. I was responsible for the development of software for the verification of safety of overtaking maneuvers on highways. I was also involved in a project related to the verification of sensor fusion algorithms for autonomous driving.
- Paper: “Dynamic risk management for safely automating connected driving maneuvers” (link:https://publica.fraunhofer.de/bitstreams/745945b8-63c6-4afc-829d-de3165cf4af1/download)
-
2019 - 2019 Aachen, Germany
Student Research Assistant
RWTH Aachen University
Education
-
2022 - present Munich, Germany
PhD
Technical University of Munich
Computer Science
-
2017 - 2019 Aachen, Germany
Master of Science
RWTH Aachen University
Computer Science
- Master thesis: “Integration of hybrid systems verification methods in Matlab” (link:https://ths.rwth-aachen.de/wp-content/uploads/sites/4/groblena_master.pdf)
-
2013 - 2017 Aachen, Germany
Bachelor of Science
RWTH Aachen University
Computer Science
- Bachelor thesis: “Solving Pseud-Boolean Constraints” (link:https://ths.rwth-aachen.de/wp-content/uploads/sites/4/teaching/theses/grobelna_bachelor.pdf)
Projects
-
Automata Tutor
Automata Tutor is a web-based tool for learning automata theory. It provides a large collection of exercises on various topics in automata theory, such as regular languages, context-free languages, and Turing machines. The tool allows students to practice their skills by solving exercises and receiving immediate feedback on their solutions. It also provides a platform for instructors to create and manage their own exercises and assignments.
Publications
-
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
In this paper, we consider two-player zero-sum concurrent stochastic games (CSGs) played on graphs with reachability and safety objectives. These include degenerate classes such as Markov decision processes or turn-based stochastic games, which can be solved by linear or quadratic programming; however, in practice, value iteration (VI) outperforms the other approaches and is the most implemented method. Similarly, for CSGs, this practical performance makes VI an attractive alternative to the standard theoretical solution via the existential theory of reals. VI starts with an under-approximation of the sought values for each state and iteratively updates them, traditionally terminating once two consecutive approximations are epsilon-close. However, this stopping criterion lacks guarantees on the precision of the approximation, which is the goal of this work. We provide bounded (a.k.a. interval) VI for CSGs: it complements standard VI with a converging sequence of over-approximations and terminates once the over- and under-approximations are epsilon-close.