Computer Vision and Pattern Recognition · Computer Science
Predictive Uncertainty for Runtime Assurance of a Real-Time Computer Vision-Based Landing System
Romeo Valentin, Sydney M. Katz, Artur B. Carneiro, Don Walker +1
2025-08-14
Optimization and Control · Mathematics
Functional Architecture and Implementation of an Autonomous Emergency Steering System
Chris van der Ploeg, Ron Wouters, Mart Baars, Anh-Lam Do +1
2022-12-26
Systems and Control · Electrical Eng. & Systems
Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions
Tamas G. Molnar, Suresh K. Kannan, James Cunningham, Kyle Dunlap +2
2025-01-29
Robotics · Computer Science
EROAS: 3D Efficient Reactive Obstacle Avoidance System for Autonomous Underwater Vehicles using 2.5D Forward-Looking Sonar
Pruthviraj Mane, Allen Jacob George, Rajini Makam, Subhash Gurikar +2
2026-05-12
Computers and Society · Computer Science
A Decision Support System for Safer Airplane Landings: Predicting Runway Conditions Using XGBoost and Explainable AI
Alise Danielle Midtfjord, Riccardo De Bin, Arne Bang Huseby
2022-09-30
Systems and Control · Electrical Eng. & Systems
Roadside Units Assisted Localized Automated Vehicle Maneuvering: An Offline Reinforcement Learning Approach
Kui Wang, Changyang She, Zongdian Li, Tao Yu +2
2024-09-19
Systems and Control · Electrical Eng. & Systems
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs +3
2023-10-09
Robotics · Computer Science
Robust UAV Path Planning with Obstacle Avoidance for Emergency Rescue
Junteng Mao, Ziye Jia, Hanzhi Gu, Chenyu Shi +3
2025-01-17
Systems and Control · Electrical Eng. & Systems
Cooperative Sensing Enhanced UAV Path-Following and Obstacle Avoidance with Variable Formation
Changheng Wang, Zhiqing Wei, Wangjun Jiang, Haoyue Jiang +1
2025-09-01
Robotics · Computer Science
eRSS-RAMP: A Rule-Adherence Motion Planner Based on Extended Responsibility-Sensitive Safety for Autonomous Driving
Pengfei Lin, Ehsan Javanmardi, Yuze Jiang, Dou Hu +2
2024-09-05
Software Engineering · Computer Science
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles
Martin Becker, Markus Neumair, Alexander Söhn, Samarjit Chakraborty
2017-06-12
Logic in Computer Science · Computer Science
RTAEval: A framework for evaluating runtime assurance logic
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan +1
2023-06-08
Systems and Control · Electrical Eng. & Systems
Energy Aware and Safe Path Planning for Unmanned Aircraft Systems
Sebastian Gasche, Christian Kallies, Andreas Himmel, Rolf Findeisen
2025-04-07
Machine Learning · Computer Science
Interference-Aware Edge Runtime Prediction with Conformal Matrix Completion
Tianshu Huang, Arjun Ramesh, Emily Ruppel, Nuno Pereira +2
2025-03-11
Multiagent Systems · Computer Science
ROSA: Roundabout Optimized Speed Advisory with Multi-Agent Trajectory Prediction in Multimodal Traffic
Anna-Lena Schlamp, Jeremias Gerner, Klaus Bogenberger, Werner Huber +1
2026-02-17
Robotics · Computer Science
Obstacle Avoidance for UAS in Continuous Action Space Using Deep Reinforcement Learning
Jueming Hu, Xuxi Yang, Weichang Wang, Peng Wei +2
2021-11-16
Cryptography and Security · Computer Science
Runtime Verification for Trustworthy Computing
Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech +2
2023-10-05
Systems and Control · Electrical Eng. & Systems
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System
Kerianne L. Hobbs, Benjamin K. Heiner, Lillian Busse, Kyle Dunlap +3
2023-03-28
Systems and Control · Electrical Eng. & Systems
Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering
Cassie-Kay McQuinn, Kyle Dunlap, Nathaniel Hamilton, Jabari Wilson +1
2024-02-23