RADICS: Runtime Assurance of Distributed Intelligent Control Systems.

Brian Wheatman, Jerry Chen, Tamim Sookoor, Yair Amir

Browse the full DSN paper archive.