Gregor B. Banusic, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, Damien Zufferey. PGCD: robot programming and verification with geometry, concurrency, and dynamics. In Xue Liu 0001, Paulo Tabuada, Miroslav Pajic, Linda Bushnell, editors, Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019. pages 57-66, ACM, 2019. [doi]
Abstract is missing.