AIUsing Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Nov 23, 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 23, 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
AIUsing Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Nov 22, 2024
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
AIResolving Multiple-Dynamic Model Uncertainty in Hypothesis-Driven Belief-MDPs Nov 22, 2024 userComment on Resolving Multiple-Dynamic Model Uncertainty in Hypothesis-Driven Belief-MDPs Authors: Ofer Dagan, Tyler Becker, Zachary N. Sunberg Abstract: When human operators of cyber-physical systems
