Custom cover image
Custom cover image

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

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 15217Publisher: Cham : Springer Nature Switzerland, 2025Publisher: Cham : Imprint: Springer, 2025Edition: 1st ed. 2025Description: 1 Online-Ressource(XIII, 470 p. 126 illus., 97 illus. in color.)ISBN:
  • 9783031754340
Subject(s): Additional physical formats: 9783031754333 | 9783031754357 | Erscheint auch als: 9783031754333 Druck-Ausgabe | Erscheint auch als: 9783031754357 Druck-AusgabeDDC classification:
  • 005.1 23
DOI: DOI: 10.1007/978-3-031-75434-0Online resources: Summary: 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.Summary: 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. .PPN: PPN: 1913348970Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT