65 citations · 340 across the 42 of their papers we have counts for
1 paper · 1 filter
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
We present a programming model and typing discipline for complex multi-robot coordination programming. Our model encompasses both synchronisation through message passing and contin…