default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st AISoLA 2023: Crete, Greece
- Bernhard Steffen
:
Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings. Lecture Notes in Computer Science 14380, Springer 2024, ISBN 978-3-031-46001-2
Panels and Keynotes
- Edward A. Lee:
Deep Neural Networks, Explanations, and Rationality. 11-21
Verification Meets Learning and Statistics
- Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen:
Welcome Remarks from AISoLA 2023/Track C2 Chairs. 25-32 - Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. 33-54 - Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao:
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. 55-76 - Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem:
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. 77-93 - Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke:
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. 94-118 - Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer:
Formal XAI via Syntax-Guided Synthesis. 119-137 - Martin Tappler, Bernhard K. Aichernig:
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. 138-159 - Natan Levy, Raz Yerushalmi, Guy Katz:
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks. 160-170 - Maxime Parmentier, Axel Legay, Firmin Chenoy:
Optimized Smart Sampling. 171-187 - Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann:
Towards a Formal Account on Negative Latency. 188-214
Safety Verification of DNNs
- Daniel Neider, Taylor T. Johnson:
Track C1: Safety Verification of Deep Neural Networks (DNNs). 217-224 - Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer:
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. 225-240 - Marcelo Forets, Christian Schilling:
The Inverse Problem for Neural Networks. 241-255 - 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 Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu:
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. 256-278 - Yonggang Luo, Jinyan Ma, Sanchu Han, Lecheng Xie:
Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous Driving. 279-290 - Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson:
Benchmark: Neural Network Malware Classification. 291-298 - Dmitrii Kirov, Simone Fulvio Rollini:
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. 299-304 - Dmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant:
Benchmark: Object Detection for Maritime Search and Rescue. 305-310 - Neelanjana Pal, Seojin Lee, Taylor T. Johnson:
Benchmark: Formal Verification of Semantic Segmentation Neural Networks. 311-330 - Diego Manzanas Lopez, Taylor T. Johnson:
Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers. 331-347
AI Assisted Programming
- Wolfgang Ahrendt, Klaus Havelund:
AI Assisted Programming - (AISoLA 2023 Track Introduction). 351-354 - Lenz Belzner, Thomas Gabor, Martin Wirsing:
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. 355-374 - Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen:
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. 375-390 - Moa Johansson:
What Can Large Language Models Do for Theorem Proving and Formal Methods? 391-394 - Itay Cohen, Doron Peled:
Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning. 395-417
Automotive Driving
- Falk Howar, Hardi Hungar:
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. 421-425
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-19 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
