If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/291710
Display more detailsDisplay less details
Organization
Software Science
Audience(s)
Computer science
Abstract
Supplemental material for the paper: Robust Almost-Sure Reachability in Multi-Environment MDPs Submitted to TACAS 2023 Copyright: GNU General Public License v2.0 or later Open Access
