{"product_id":"verifiable-autonomous-systems-cambridge-university-press-9781108484992-using-rational-agents-to-provide-assurance-about-decisions-made-by-machines-louise-a-dennis","title":"Verifiable Autonomous Systems","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eVerifiable Autonomous Systems\u003c\/strong\u003e by \u003cstrong\u003eLouise A. Dennis\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2023. This comprehensive hardback edition spans 410 pages, making it an essential resource for professionals, researchers, and postgraduate students alike.\u003c\/p\u003e \n\n\u003cp\u003eThis book delves into innovative techniques for ensuring the reliability and behavior of autonomous systems. Readers will gain a deep understanding of how these systems can be programmed to provide assurance in their operations. The inclusion of several case studies enriches the learning experience, offering practical applications of the discussed technologies. Additionally, the book features tutorials that guide readers through the technologies utilized in the case studies, enhancing both theoretical and practical knowledge.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're looking to deepen your expertise or explore the future of autonomous systems, \u003cstrong\u003eVerifiable Autonomous Systems\u003c\/strong\u003e is a must-have addition to your professional library.\u003c\/p\u003e","brand":"Louise A. Dennis","offers":[{"title":"Default Title","offer_id":52255572623702,"sku":"9781108484992","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781108484992.jpg?v=1767784938","url":"https:\/\/www.bookshop.lt\/products\/verifiable-autonomous-systems-cambridge-university-press-9781108484992-using-rational-agents-to-provide-assurance-about-decisions-made-by-machines-louise-a-dennis","provider":"Bookshop","version":"1.0","type":"link"}