Certifiable and Efficient Autonomous Cyber-Physical Systems Design.

Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty

Browse the full VLSID paper archive.