ACT: Automated CPS Testing for Open-Source Robotic Platforms.

Aditya A. Krishnan, Donghoon Kim, Hokeun Kim

Browse the full AST paper archive.