知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
会议文集
文集名
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 Rationality
Edward A. Lee
2024
Welcome Remarks from AISoLA 2023/Track C2 Chairs
Nils Jansen; Bettina Konighofer; Jan Kretinsky; Kim Larsen
2024
Shielded Reinforcement Learning for Hybrid Systems
Asger Horn Brorholt; Peter Gjol Jensen; Kim Guldstrand Larsen; Florian Lorber; Christian Schilling
2024
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems
Saddek Bensalem; Chih-Hong Cheng; Wei Huang; Xiaowei Huang; Changshun Wu; Xingyu Zhao
2024
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes
Hamzah Al-Qadasi; Ylies Falcone; Saddek Bensalem
2024
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink
Julius Adelt; Sebastian Bruch; Paula Herber; Mathis Niehage; Anne Remke
2024
Formal XAI via Syntax-Guided Synthesis
Katrine Bjorner; Samuel Judson; Filip Cano; Drew Goldman; Nick Shoemaker; Ruzica Piskac; Bettina Konighofer
2024
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning
Martin Tappler; Bernhard K. Aichernig
2024
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks
Natan Levy; Raz Yerushalmi; Guy Katz
2024
Optimized Smart Sampling
Maxime Parmentier; Axel Legay; Firmin Chenoy
2024
Towards a Formal Account on Negative Latency
Clemens Dubslaff; Jonas Schulz; Patrick Wienhoft; Christel Baier; Frank H. P. Fitzek; Stefan J. Kiebel; Johannes Lehmann
2024
Track C1: Safety Verification of Deep Neural Networks (DNNs)
Daniel Neider; Taylor T. Johnson
2024
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment
Dmitrii Kirov; Simone Fulvio Rollini; Luigi Di Guglielmo; Darren Cofer
2024
The Inverse Problem for Neural Networks
Marcelo Forets; Christian Schilling
2024
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
Saddek 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 Wu
2024
Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous Driving
Yonggang Luo; Jinyan Ma; Sanchu Han; Lecheng Xie
2024
Benchmark: Neural Network Malware Classification
Preston K. Robinette; Diego Manzanas Lopez; Taylor T. Johnson
2024
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment
Dmitrii Kirov; Simone Fulvio Rollini
2024
Benchmark: Object Detection for Maritime Search and Rescue
Dmitrii Kirov; Simone Fulvio Rollini; Rohit Chandrahas; Shashidhar Reddy Chandupatla; Rajdeep Sawant
2024
Benchmark: Formal Verification of Semantic Segmentation Neural Networks
Neelanjana Pal; Seojin Lee; Taylor T. Johnson
2024
1
2
制造业外文文献服务平台