Abstract is missing.
- Deep Neural Networks, Explanations, and RationalityEdward A. Lee. 11-21 [doi]
- Welcome Remarks from AISoLA 2023/Track C2 ChairsNils Jansen 0001, Bettina Könighofer, Jan Kretínský, Kim G. Larsen. 25-32 [doi]
- Shielded Reinforcement Learning for Hybrid SystemsAsger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling 0001. 33-54 [doi]
- What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical SystemsSaddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao 0001. 55-76 [doi]
- DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized BoxesHamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem. 77-93 [doi]
- Shielded Learning for Resilience and Performance Based on Statistical Model Checking in SimulinkJulius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke. 94-118 [doi]
- Formal XAI via Syntax-Guided SynthesisKatrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer. 119-137 [doi]
- Differential Safety Testing of Deep RL Agents Enabled by Automata LearningMartin Tappler, Bernhard K. Aichernig. 138-159 [doi]
- gRoMA: A Tool for Measuring the Global Robustness of Deep Neural NetworksNatan Levy, Raz Yerushalmi, Guy Katz. 160-170 [doi]
- Optimized Smart SamplingMaxime Parmentier, Axel Legay, Firmin Chenoy. 171-187 [doi]
- Towards a Formal Account on Negative LatencyClemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann. 188-214 [doi]
- Track C1: Safety Verification of Deep Neural Networks (DNNs)Daniel Neider, Taylor T. Johnson. 217-224 [doi]
- Formal Verification of a Neural Network Based Prognostics System for Aircraft EquipmentDmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer. 225-240 [doi]
- The Inverse Problem for Neural NetworksMarcelo Forets, Christian Schilling 0001. 241-255 [doi]
- 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 Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu. 256-278 [doi]
- Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous DrivingYonggang Luo, Jinyan Ma, Sanchu Han, Lecheng Xie. 279-290 [doi]
- Benchmark: Neural Network Malware ClassificationPreston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson. 291-298 [doi]
- Benchmark: Remaining Useful Life Predictor for Aircraft EquipmentDmitrii Kirov, Simone Fulvio Rollini. 299-304 [doi]
- Benchmark: Object Detection for Maritime Search and RescueDmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant. 305-310 [doi]
- Benchmark: Formal Verification of Semantic Segmentation Neural NetworksNeelanjana Pal, Seojin Lee, Taylor T. Johnson. 311-330 [doi]
- Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image ClassifiersDiego Manzanas Lopez, Taylor T. Johnson. 331-347 [doi]
- AI Assisted Programming - (AISoLA 2023 Track Introduction)Wolfgang Ahrendt, Klaus Havelund. 351-354 [doi]
- Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case StudyLenz Belzner, Thomas Gabor, Martin Wirsing. 355-374 [doi]
- ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling LanguagesDaniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen. 375-390 [doi]
- What Can Large Language Models Do for Theorem Proving and Formal Methods?Moa Johansson. 391-394 [doi]
- Integrating Distributed Component-Based Systems Through Deep Reinforcement LearningItay Cohen 0001, Doron Peled. 395-417 [doi]
- Safe AI in Autonomous Vehicles - Track at AISoLA 2023Falk Howar, Hardi Hungar. 421-425 [doi]