van der Vegt, Marck
- Robust Almost-Sure Reachability in Multi-Environment MDPs
2023/01/26 by Marck van der Vegt, Nils Jansen, van der Vegt, Marck +3 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
2024/07/09 by Suilen, Marnix, van der Vegt, Marck, Junges, Sebastian · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)