{"product_id":"bridging-the-gap-between-ai-and-reality-9783031754333","title":"Bridging the Gap Between AI and Reality","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eVerification 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195419320663,"sku":"9783031754333","price":59.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/bridging-the-gap-between-ai-and-reality-9783031754333","provider":"Book Curl","version":"1.0","type":"link"}