Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings / / edited by Bernhard Steffen

• Autore: Steffen Bernhard
• Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
• Edizione: 1st ed. 2025.
• Descrizione fisica: 1 online resource (477 pages)
• Disciplina: 005.1
• Soggetto topico: Software engineering; Computers, Special purpose; Computer systems; Artificial intelligence; Software Engineering; Special Purpose and Application-Based Systems; Computer System Implementation; Artificial Intelligence
• Nota di contenuto: 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.
• Sommario/riassunto: 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. .
• Titolo autorizzato: Bridging the Gap Between AI and Reality
• ISBN: 9783031754340; 3031754344
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996636772403316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 15217