Cited By
View all- Harimanto FHasanah NPradana MPuji M(2024)Applying CNN Models with Stereo Camera for Object Detection and Distance Estimation in Automatic Micro Electric Vehicle (MEVi)2024 IEEE International Conference on Smart Mechatronics (ICSMech)10.1109/ICSMech62936.2024.10812283(101-106)Online publication date: 19-Nov-2024
- Ghosh BHobbs CXu SSmith DAnderson JThiagarajan PBerg BDuggirala PChakraborty S(2024)Statistical verification of autonomous system controllers under timing uncertaintiesReal-Time Systems10.1007/s11241-023-09417-x60:1(108-149)Online publication date: 29-Jan-2024
- Yang YAgmon NAn BRicci AYeoh W(2023)Verifiably Safe Decision-Making for Autonomous SystemsProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3599142(2973-2975)Online publication date: 30-May-2023
- Show More Cited By