Marck van der Vegt

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 8

Top Topics

Bandwidth Consumption

Consistency Maintenance

Semantic Caching

Top Venues

Publications

Marnix Suilen, Marck van der Vegt, Sebastian Junges
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. CONCUR (2024)
Marnix Suilen, Marck van der Vegt, Sebastian Junges
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. CoRR (2024)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
Compositional Value Iteration with Pareto Caching. CAV (3) (2024)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
Compositional Value Iteration with Pareto Caching. CoRR (2024)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. TACAS (2) (2024)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. CoRR (2024)
Marck van der Vegt, Nils Jansen, Sebastian Junges
Robust Almost-Sure Reachability in Multi-Environment MDPs. CoRR (2023)
Marck van der Vegt, Nils Jansen, Sebastian Junges
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) (2023)