| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Bridging the gap between AI and reality/ edited by Bernhard Steffen. |
| Reminder of title: |
second International Conference, AISoLA 2024, Crete, Greece, October 30-November 3, 2024 : proceedings / |
| remainder title: |
AISoLA 2024 |
| other author: |
Steffen, Bernhard. |
| corporate name: |
AISoLA (Conference) |
| Published: |
Cham :Springer Nature Switzerland : : 2025., |
| Description: |
xiii, 470 p. :ill. (some col.), digital ;24 cm. |
| [NT 15003449]: |
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. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Artificial intelligence - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-75434-0 |
| ISBN: |
9783031754340 |