Marck van der Vegt

According to our database, Marck van der Vegt authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compositional Value Iteration with Pareto Caching.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

CoRR, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Robust Almost-Sure Reachability in Multi-Environment MDPs.

Marck van der Vegt, Nils Jansen, Sebastian Junges

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023