Search Results for author:
Found 2 papers, 0 papers with code
Reinforcement Learning-Based Air Traffic Deconfliction
Remain Well Clear, keeping the aircraft away from hazards by the appropriate separation distance, is an essential technology for the safe operation of uncrewed aerial vehicles in congested airspace.
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
