TY - RPRT TI - Towards Provably Safe Mixed Transportation Systems with Human-driven and Automated Vehicles AU - Xi Liu AU - Ke Ma AU - P. R. Kumar PY - 2018 UR - https://arxiv.org/abs/1810.05807 ID - 1810.05807 ER -