1 citations · 1 across the 2 of their papers we have counts for
3 papers
Correct-by-Construction Vision-based Pose Estimation using Geometric Generative Models
Ulices Santa Cruz, Mahmoud Elfar, Yasser Shoukry
We consider the problem of vision-based pose estimation for autonomous systems. While deep neural networks have been successfully used for vision-based tasks, they inherently lack…
RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
Detecting kinetic vulnerabilities in Cyber-Physical Systems (CPS), vulnerabilities in control code that can precipitate hazardous physical consequences, is a critical challenge. Th…
Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility
Jaejeong Park, Mahmoud Elfar, Cody Fleming +1
Urban Air Mobility (UAM) has emerged as a promising solution to alleviate urban congestion and transportation challenges. Nevertheless, the noise generated by eVTOL aircrafts poses…