Login / Signup
Koord: a language for programming and verifying distributed robotics application.
Ritwika Ghosh
Chiao Hsieh
Sasa Misailovic
Sayan Mitra
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
programming language
artificial intelligence
natural language
databases
high level
multi agent
distributed systems
language learning
computing environments
programming environment
programming skills