Login / Signup
PGCD: robot programming and verification with geometry, concurrency, and dynamics.
Gregor B. Banusic
Rupak Majumdar
Marcus Pirron
Anne-Kathrin Schmuck
Damien Zufferey
Published in:
ICCPS (2019)
Keyphrases
</>
robot programming
human robot interaction
three dimensional
dynamical systems
database systems
model checking
neural network
concurrency control
dynamic model
data flow
face verification
formal verification
real time
human computer interaction
geometric modeling