1 citations · 1 across the 1 of their papers we have counts for
4 papers
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
Tobias Ladner, Yasser Shoukry, Matthias Althoff
Agents in cyber-physical systems are increasingly entrusted with safety-critical tasks. Ensuring safety of these agents often requires localizing the pose for subsequent actions. P…
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…
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…
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…