Marck van der Vegt
- Robust Almost-Sure Reachability in Multi-Environment MDPs
2023/01/26 by Marck van der Vegt, van der Vegt, Marck, Nils Jansen +3 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)