Cited By
View all- Lyu DZhang ZArcaini PIshikawa FLaurent TZhao JLi XHandl J(2024)Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level SpecificationsProceedings of the Genetic and Evolutionary Computation Conference10.1145/3638529.3654078(1435-1444)Online publication date: 14-Jul-2024
- Gohil VPatnaik SGuo HKalathil DRajendran J(2024)DETERRENT: Detecting Trojans Using Reinforcement LearningIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2023.330973143:1(57-70)Online publication date: 1-Jan-2024
- Provan G(2024)Formal Methods for Autonomous VehiclesIT Professional10.1109/MITP.2024.335615826:1(50-56)Online publication date: 1-Jan-2024
- Show More Cited By