Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Adaptive stress testing of airborne collision avoidance systems
Probabilistic model checking of the next-generation airborne collision avoidance system
Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software
98 PC-417 Development of a Collision Avoidance System
Model-Based Threat Assessment for Avoiding Arbitrary Vehicle Collisions
Toward Air Traffic Complexity Assessment in New Generation Air Traffic Management Systems
Enhancing the security of aircraft surveillance in the next generation air traffic control system
Spoofing Mitigation, Robust Collision Avoidance, and Opportunistic Receiver Localisation Using a New Signal Processing Scheme for ADS-B or AIS
Planning and Control for Collision-Free Cooperative Aerial Transportation
Comparison of CollisionAvoidance Systems and ApplicabilitytoRail Transport
Aggressive 3-D collision avoidance for high-speed navigation
A simulation study on air traffic control strategies
Quantifying Performance Requirements of Vehicle-to-Vehicle Communication Protocols for Rear-End Collision Avoidance
UAV Collision Avoidance Using RRT * and LOS Maximization Technical Report # CSSE 1203
Sources of situation awareness errors in aviation.
Managing human error in aviation.
Security analysis of the ADS-B implementation in the next generation air transportation system
Optimal transition maneuvers for a class of V/STOL aircraft
Alerting Threshold Analysis of TCAS
Experimental Study of an Optimal-Control- Based Framework for Trajectory Planning, Threat Assessment, and Semi-Autonomous Control of Passenger Vehicles in Hazard Avoidance Scenarios
Feasible Computationally Efficient Path Planning for UAV Collision Avoidance
Cellulose nanocrystals: chemistry, self-assembly, and applications.
Semi-supervised Learning of Instance-level Recognition from Video
Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments
Optimizing Vowel Formant Measurements in Four Acoustic Analysis Systems for Diverse Speaker Groups
Differential Dynamic Logic for Hybrid Systems