NAME
Marck van der Vegt - marck.vandervegt 📧 ru.nl
SYNOPSIS
PhD student Software Science at Radboud University in the Netherlands.
DESCRIPTION
I am interested in the probabilistic verification of compositional and partially observable models.
PUBLICATIONS
| Year | Title | Authors | Conference |
|---|---|---|---|
| 2024 | A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs¹ |
Marnix Suilen Marck van der Vegt Sebastian Junges |
CONCUR |
| Compositional Value Iteration with Pareto Caching |
Kazuki Watanabe Marck van der Vegt Ichiro Hasuo Sebastian Junges |
CAV | |
| Pareto Curves for Compositionally Model Checking String Diagrams of MDPs |
Kazuki Watanabe Marck van der Vegt Ichiro Hasuo Jurriaan Rot Sebastian Junges |
TACAS | |
| 2023 | Robust Almost-Sure Reachability in Multi-Environment MDPs |
Marck van der Vegt Nils Jansen Sebastian Junges |
TACAS |
¹) Best paper award
TEACHING
I currently help teaching the course "Object Oriented Programming".
OTHER ACTIVITIES
- Artifact Evalution
- - CAV2024
- - QEST2023