Marck van der Vegt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | Compositional Value Iteration with Pareto Caching. | Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo |
| 2024 | CONCUR | A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. | Marnix Suilen, Marck van der Vegt, Sebastian Junges |
| 2024 | TACAS | Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. | Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges |
| 2023 | TACAS | Robust Almost-Sure Reachability in Multi-Environment MDPs. | Marck van der Vegt, Nils Jansen, Sebastian Junges |