Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems.

Rongjie Yan, Junjie Yang, Di Zhu, Kai Huang

Browse the full ICECCS paper archive.