TY - RPRT TI - Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems AU - Xuan Xie AU - Jiayang Song AU - Zhehua Zhou AU - Fuyuan Zhang AU - Lei Ma PY - 2023 UR - https://arxiv.org/abs/2305.03882 ID - 2305.03882 ER -