中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Bridging the Gap Between AI and Reality
会议名1st International Conference on Bridging the Gap between AI and Reality (AISoLA 2023)
中译名《第一届国际弥合人工智能与现实之间的差距会议》
会议日期October 23-28, 2023
会议地点Crete, Greece
出版年2024
馆藏号350852


题名作者出版年
Deep Neural Networks, Explanations, and RationalityEdward A. Lee2024
Welcome Remarks from AISoLA 2023/Track C2 ChairsNils Jansen; Bettina Konighofer; Jan Kretinsky; Kim Larsen2024
Shielded Reinforcement Learning for Hybrid SystemsAsger Horn Brorholt; Peter Gjol Jensen; Kim Guldstrand Larsen; Florian Lorber; Christian Schilling2024
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical SystemsSaddek Bensalem; Chih-Hong Cheng; Wei Huang; Xiaowei Huang; Changshun Wu; Xingyu Zhao2024
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized BoxesHamzah Al-Qadasi; Ylies Falcone; Saddek Bensalem2024
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in SimulinkJulius Adelt; Sebastian Bruch; Paula Herber; Mathis Niehage; Anne Remke2024
Formal XAI via Syntax-Guided SynthesisKatrine Bjorner; Samuel Judson; Filip Cano; Drew Goldman; Nick Shoemaker; Ruzica Piskac; Bettina Konighofer2024
Differential Safety Testing of Deep RL Agents Enabled by Automata LearningMartin Tappler; Bernhard K. Aichernig2024
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural NetworksNatan Levy; Raz Yerushalmi; Guy Katz2024
Optimized Smart SamplingMaxime Parmentier; Axel Legay; Firmin Chenoy2024
Towards a Formal Account on Negative LatencyClemens Dubslaff; Jonas Schulz; Patrick Wienhoft; Christel Baier; Frank H. P. Fitzek; Stefan J. Kiebel; Johannes Lehmann2024
Track C1: Safety Verification of Deep Neural Networks (DNNs)Daniel Neider; Taylor T. Johnson2024
Formal Verification of a Neural Network Based Prognostics System for Aircraft EquipmentDmitrii Kirov; Simone Fulvio Rollini; Luigi Di Guglielmo; Darren Cofer2024
The Inverse Problem for Neural NetworksMarcelo Forets; Christian Schilling2024
Continuous Engineering for Trustworthy Learning-Enabled Autonomous SystemsSaddek Bensalem; Panagiotis Katsaros; Dejan Nickovic; Brian Hsuan-Cheng Liao; Ricardo Ruiz Nolasco; Mohamed Abd El Salam Ahmed; Tewodros A. Beyene; Filip Cano; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; Xiaowei Huang; Nikolaos Kekatos; Bettina Konighofer; Michael Paulitsch; Doron Peled; Matthieu Ponchant; Lev Sorokin; Son Tong; Changshun Wu2024
Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous DrivingYonggang Luo; Jinyan Ma; Sanchu Han; Lecheng Xie2024
Benchmark: Neural Network Malware ClassificationPreston K. Robinette; Diego Manzanas Lopez; Taylor T. Johnson2024
Benchmark: Remaining Useful Life Predictor for Aircraft EquipmentDmitrii Kirov; Simone Fulvio Rollini2024
Benchmark: Object Detection for Maritime Search and RescueDmitrii Kirov; Simone Fulvio Rollini; Rohit Chandrahas; Shashidhar Reddy Chandupatla; Rajdeep Sawant2024
Benchmark: Formal Verification of Semantic Segmentation Neural NetworksNeelanjana Pal; Seojin Lee; Taylor T. Johnson2024
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024