Yuanjiang Yang, Jiawei Zhao, Xiang Yin 0003, Shaoyuan Li. Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications. In 2019 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM), Bangkok, Thailand, November 18-20, 2019. pages 469-474, IEEE, 2019. [doi]
Abstract is missing.