3 papers
cs.RO2020
Multiparty Motion Coordination: From Choreographies to Robotics Programs
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…
cs.SE2019
Paracosm: A Language and Tool for Testing Autonomous Driving Systems
Rupak Majumdar, Aman Mathur, Marcus Pirron +2
Systematic testing of autonomous vehicles operating in complex real-world scenarios is a difficult and expensive problem. We present Paracosm, a reactive language for writing test…
cs.AR2018
Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms
Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin +13
When a computational task tolerates a relaxation of its specification or when an algorithm tolerates the effects of noise in its execution, hardware, programming languages, and sys…