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
AIIdentity Preserving 3D Head Stylization with Multiview Score Distillation Nov 21, 2024 userComment on Identity Preserving 3D Head Stylization with Multiview Score Distillation Authors: Bahri Batuhan Bilecen, Ahmet Berke Gokmen, Furkan Guzelant, Aysegul Dundar Abstract: 3D head stylization
AIMetacognition for Unknown Situations and Environments (MUSE) Nov 21, 2024 userComment on Metacognition for Unknown Situations and Environments (MUSE) Authors: Rodolfo Valiente, Praveen K. Pilly Abstract: Metacognition–the awareness and regulation of one’s cognitive processes–is
