![](/img/cover-not-exists.png)
[IEEE 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Madrid (2018.10.1-2018.10.5)] 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - vTSL - A Formally Verifiable DSL for Specifying Robot Tasks
Heinzemann, Christian, Lange, RalphYear:
2018
Language:
english
DOI:
10.1109/iros.2018.8593559
File:
PDF, 567 KB
english, 2018