TY - RPRT TI - An Input-Output Simulation Approach to Controlling Multi-AffineSystems for Linear Temporal Logic Specifications AU - Yajuan Sun AU - Hai Lin AU - Ben M. Chen PY - 2012 UR - https://arxiv.org/abs/1203.1740 ID - 1203.1740 ER -