TY - RPRT TI - Physics-based Motion Planning with Temporal Logic Specifications AU - Muhayyuddin AU - Aliakbar Akbari AU - Jan Rosell PY - 2017 UR - https://arxiv.org/abs/1710.00419 ID - 1710.00419 ER -