Vor Ort
Merkzettel Warenkorb
Produktbild: Bridging the Gap Between AI and Reality
Band 15217

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings

Aus der Reihe Lecture Notes in Computer Science

69,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.12.2024

Abbildungen

XIII, 126 illus., 97 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Bernhard Steffen

Verlag

Springer

Seitenzahl

470

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

727 g

Sprache

Englisch

ISBN

978-3-031-75433-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.12.2024

Abbildungen

XIII, 126 illus., 97 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Bernhard Steffen

Verlag

Springer

Seitenzahl

470

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

727 g

Sprache

Englisch

ISBN

978-3-031-75433-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Bridging the Gap Between AI and Reality

  • 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.