TY - RPRT TI - Verse: A Python library for reasoning about multi-agent hybrid system scenarios AU - Yangge Li AU - Haoqing Zhu AU - Katherine Braught AU - Keyi Shen AU - Sayan Mitra PY - 2023 UR - https://arxiv.org/abs/2301.08714 ID - 2301.08714 ER -