Read more
List of contents
Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code.- Context Engineering for AI-Assisted Programming for Domain-Specific Languages.- The Impact of Generative Artificial Intelligence Tools in Project-Based Learning.- Health Care - Approaches Using Formal Methods and AI.- Towards Person-Owned and Controlled Personal Health Records: Past, Present, and Future Research at eMedLab, TalTech.- LC/NC Pipeline for Training and Operationalising Segmentation Models in a Data Scarce Domain: De-arraying Tissue MicroArrays.- Quantum Machine Learning in Precision Medicine and Drug Discovery - A Game Changer for Tailored Treatments?.- What Computing Professionals Should Know About Ethics: Perspectives of Philosophers.- Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics.- Epistemic Deference to AI.- Responsibility Attribution for AI-mediated Damages with Mechanistic Interpretability.- Development and Maintenance of Trust in Human-Drone-Interaction: Preliminary empirical findings in a warehouse setting.- Feedback from AI Team Members: Implications on Self-Image and Trust.- Using Statistical Model Checker for Schedulability Analysis of Real-Time Systems under Uncertainty.- A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees.
Summary
This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024.
The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches using formal methods and AI; responsible and trusted AI: an interdisciplinary perspective; statistical model checking; and verification for neur-symbolic artificial intelligence.
