Overview

This book constitutes the proceedings of 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 focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence. 

Full Product Details

Author:   Bernhard Steffen
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2025 ed.
Volume:   15217
ISBN:  

9783031754333

ISBN 10:   3031754336
Pages:   470
Publication Date:   30 December 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Verification for Neuro-Symbolic Artificial Intelligence.- Is your AI-based System Five Star Sustainable?.- Certainty vs. Intelligence.- Responsible and Trusted AI: An Interdisciplinary Perspective.- Team Design Patterns for Meaningful Human Control in Responsible Military Artificial Intelligence.- Transparent Transparency: Developing a Scheme for Understanding Transparency Requirements.- AI Act for the Working Programmer.- AI Assisted Programming (AISoLA 2024 Track Introduction).- SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning.- Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software.- Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase.- LLM based Scheme for Synthesis of Formal Verification Algorithms.- Verification and Learning for Assured Autonomy.- A Comparison of Monitoring Techniques for Deep Neural Networks.- Efficient Shield Synthesis via State-Space Transformation.- Conformal Quantitative Predictive Monitoring and Conditional Validity.- Runtime Verification and AI: Addressing Pragmatic Regulatory.- A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL.- Systematic Translation from Natural Language Robot Task Descriptions to STL.- It's Safe to Play while Driving: From a Spatial Traffic Logic Towards Traffic Games.- Monitoring Safety and Reliability of Underwater Robots: A Case Study.- Statistical Model Checking the 2024 Edition!.- Reinforcement learning for discretized Euclidean MDPs.- Adaptive Stopping Algorithms Based on Concentration Inequalities.- Digging for Decision Trees: A Case Study in Strategy Sampling and Learning.- Statistical Analysis of the Impact of Bit-Flips in Security Critical Code.- Statistical Model Checking of python Agent-based models: an integration of MultiVeStA and Mesa.- On SMC-Based Dependability Analysis  in LoLiPoP-IoT Project.- Towards Verifying Robotic Systems using Statistical Model Checking in STORM.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions