Bardh Hoxha, Nikolaos Mavridis, Georgios E. Fainekos. VISPEC: A graphical tool for elicitation of MTL requirements. In 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, Hamburg, Germany, September 28 - October 2, 2015. pages 3486-3492, IEEE, 2015. [doi]
Abstract is missing.