TY - RPRT TI - Strategy Synthesis for Partially-known Switched Stochastic Systems AU - John Jackson AU - Luca Laurenti AU - Eric Frew AU - Morteza Lahijanian PY - 2022 DO - 10.1145/3447928.3456649 UR - https://arxiv.org/abs/2104.02172 ID - 2104.02172 ER -