1 paper
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…