Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings /
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 humaniti...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Lenguaje: | inglés |
| Publicado: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Edición: | 1st ed. 2025. |
| Colección: | Lecture Notes in Computer Science,
15217 |
| Materias: | |
| Acceso en línea: | https://doi.org/10.1007/978-3-031-75434-0 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 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.