Christian Heinzemann, Ralph Lange. vTSL - A Formally Verifiable DSL for Specifying Robot Tasks. In 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018. pages 8308-8314, IEEE, 2018. [doi]
Abstract is missing.