{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T05:07:45Z","timestamp":1748668065340,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/iros.2018.8593559","type":"proceedings-article","created":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T00:43:08Z","timestamp":1548117788000},"page":"8308-8314","source":"Crossref","is-referenced-by-count":10,"title":["vTSL - A Formally Verifiable DSL for Specifying Robot Tasks"],"prefix":"10.1109","author":[{"given":"Christian","family":"Heinzemann","sequence":"first","affiliation":[]},{"given":"Ralph","family":"Lange","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630816"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6095028"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9153.001.0001","author":"chlipala","year":"2013","journal-title":"Certified Programming with Dependent Types-A Pragmatic Introduction to the Coq Proof Assistant"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942754"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","article-title":"Model Checking-Timed UML State Machines and Collaborations","volume":"2469","author":"knapp","year":"2002","journal-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems Ser Lecture Notes in Computer Science"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2012.22"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IMCSIT.2008.4747305"},{"key":"ref17","first-page":"18","article-title":"Domain-specific Model Checking for Cyber-physical Systems","author":"gerking","year":"2015","journal-title":"Proc of the 12th Workshop on Model-Driven Engineering Verification and Validation (MoDeVVa '15)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1141"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/2724525.2724571","article-title":"Structured Synchronous Reactive Programming with Ceu","author":"sant'anna","year":"2015","journal-title":"Proc of the 14th Int'l Conference on Modularity (MODU-LARITY '15)"},{"journal-title":"ROS decision making","year":"2015","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2633567"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.1998.724883"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225038"},{"key":"ref8","article-title":"A Survey on Domain-Specific Modeling and Languages in Robotics","author":"nordmann","year":"2016","journal-title":"Journal of Software Engineering for Robotics (JOSER)"},{"journal-title":"The SPIN Model Checker-primer and Reference Manual","year":"2004","author":"holzmann","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942761"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487442"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2000.893218"}],"event":{"name":"2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2018,10,1]]},"location":"Madrid","end":{"date-parts":[[2018,10,5]]}},"container-title":["2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8574473\/8593358\/08593559.pdf?arnumber=8593559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T22:49:16Z","timestamp":1694558956000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8593559\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iros.2018.8593559","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}