PGCD: robot programming and verification with geometry, concurrency, and dynamics.

Tue, 01 Jan 2019 00:00:00 +0100

Gregor B. Banusic, Rupak Majumdar, Marcus Pirron , Anne-Kathrin Schmuck, Damien Zufferey:
PGCD: robot programming and verification with geometry, concurrency, and dynamics. ICCPS 2019: 57-66