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]
@inproceedings{BanusicMPSZ19,
title = {PGCD: robot programming and verification with geometry, concurrency, and dynamics},
author = {Gregor B. Banusic and Rupak Majumdar and Marcus Pirron and Anne-Kathrin Schmuck and Damien Zufferey},
year = {2019},
doi = {10.1145/3302509.3311052},
url = {https://doi.org/10.1145/3302509.3311052},
researchr = {https://researchr.org/publication/BanusicMPSZ19},
cites = {0},
citedby = {0},
pages = {57-66},
booktitle = {Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019},
editor = {Xue Liu 0001 and Paulo Tabuada and Miroslav Pajic and Linda Bushnell},
publisher = {ACM},
isbn = {978-1-4503-6285-6},
}