default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd AISoLA 2024: Crete, Greece
- Bernhard Steffen
:
Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings. Lecture Notes in Computer Science 15217, Springer 2025, ISBN 978-3-031-75433-3
Invited Talks
- Ina Schieferdecker:
Is Your AI-Based System Five Star Sustainable? 3-19 - Edward A. Lee:
Certainty vs. Intelligence. 20-32
Responsible and Trustworthy AI
- Thorsten Helfer, Kevin Baum, Andreas Sesing-Wagenpfeil, Eva Schmidt, Markus Langer:
Responsible and Trusted AI: An Interdisciplinary Perspective. 35-39 - Jurriaan van Diggelen, Christine Boshuijzen-van Burken, Hussein Abbass:
Team Design Patterns for Meaningful Human Control in Responsible Military Artificial Intelligence. 40-54 - Deborah Baum, Kevin Baum, Sasha Zamani, Christian Bennoit, Dirk Werth:
Transparent Transparency Developing a Scheme for Understanding Transparency Requirements. 55-73 - Holger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang:
AI Act for the Working Programmer. 74-98
AI-Assisted Programming
- Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund:
AI Assisted Programming - (AISoLA 2024 Track Introduction). 101-106 - Gerhard Stenzel, Kyrill Schmid, Michael Kölle, Philipp Altmann, Marian Lingsch Rosenfeld, Maximilian Zorn, Tim Bücher, Thomas Gabor, Martin Wirsing, Lenz Belzner:
SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning. 107-124 - Minal Suresh Patil, Gustav Ung, Mattias Nyberg:
Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software. 125-144 - Amer Tahat, David S. Hardin, Adam Petz, Perry Alexander:
Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase. 145-166 - Itay Cohen, Doron Peled:
LLM-Based Scheme for Synthesis of Formal Verification Algorithms. 167-182
Verification and Learning for Assured Autonmy
- Raúl Pardo, Devdatt Dubhashi, Gerardo Schneider, Hazem Torfah:
Verification and Learning for Assured Autonomy. 185-189 - Ezio Bartocci, Wasim Essbai:
A Comparison of Monitoring Techniques for Deep Neural Networks. 190-205 - Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling:
Efficient Shield Synthesis via State-Space Transformation. 206-224 - Christian Colombo, Gordon J. Pace, Dylan Seychell:
Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges. 225-241 - Christoph Matheja:
A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL. 242-258 - Sara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy V. Deshmukh:
Systematic Translation from Natural Language Robot Task Descriptions to STL. 259-276 - Maike Schwammberger, Qais Hamarneh:
It's Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games. 277-290 - Mahsa Varshosaz, Andrzej Wasowski:
Monitoring Safety and Reliability of Underwater Robots: A Case Study. 291-299
Statistical Model Checking
- Sudeep Kanav, Jan Kretínský, Kim G. Larsen:
Statistical Model Checking the 2024 Edition! 303-311 - Manfred Jaeger, Kim Guldstrand Larsen:
Reinforcement Learning for Discretized Euclidean MDPs. 312-335 - Maxime Parmentier, Axel Legay:
Adaptive Stopping Algorithms Based on Concentration Inequalities. 336-353 - Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns:
Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. 354-378 - Tobias Worm Bøgedal, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. 379-397 - Andrea Vandin:
Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa. 398-419 - Josef Strnadel, Jakub Lojda, Pavel Smrz, Václav Simek:
On SMC-Based Dependability Analysis in LoLiPoP-IoT Project. 420-445 - Marco Lampacrescia, Michaela Klauck, Matteo Palmas:
Towards Verifying Robotic Systems Using Statistical Model Checking in STORM. 446-467
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-05 00:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
