AIUsing Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Nov 22, 2024 userComment on Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Authors: Jan Gruteser, Jan Roßbach, Fabian Vu, Michael Leuschel Abstract: The certification of autonomous systems
AILanding Trajectory Prediction for UAS Based on Generative Adversarial Network Nov 22, 2024 userComment on Landing Trajectory Prediction for UAS Based on Generative Adversarial Network Authors: Jun Xiang, Drake Essick, Luiz Gonzalez Bautista, Junfei Xie, Jun Chen Abstract: Models for