TY - RPRT TI - Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching AU - Bo Wu AU - Murat Cubuktepe AU - Franck Djeumou AU - Zhe Xu AU - Ufuk Topcu PY - 2020 UR - https://arxiv.org/abs/2001.00835 ID - 2001.00835 ER -