Our paper Robust Almost-Sure Reachability in Multi-Environment MDPs was accepted to TACAS 2023, co-authored with Marck van der Vegt and Sebastian Junges.