Ebook > Sciences > Engineering / Technics > Electronics, Electrical Engineering, Communications Engineering > Louise A. Dennis & Michael Fisher: Verifiable Autonomous Systems (PDF)

Louise A. Dennis & Michael Fisher
Verifiable Autonomous Systems
Using Rational Agents to Provide Assurance about Decisions Made by Machines

Support

Adobe DRM

Cover of Louise A. Dennis & Michael Fisher: Verifiable Autonomous Systems (PDF)

€87.40

Language English ● Format PDF ● ISBN 9781108620215 ● Publisher Cambridge University Press ● Published 2023 ● Downloadable 3 times ● Currency EUR ● ID 9047532 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Louise A. Dennis Michael Fisher

17,971 Ebooks in this category

Cover of David Gomez-Barquero: Next Generation Mobile Broadcasting

David Gomez-Barquero: Next Generation Mobile Broadcasting

This book provides an overview of the past, present, and future in mobile multimedia broadcasting. The first part of the book supplies an overview of the new generation mobile broadcasting …

Cover of Saad (Ministry of IT, Pakistan) Asif: 5G Mobile Communications

Saad (Ministry of IT, Pakistan) Asif: 5G Mobile Communications

This book will help readers comprehend technical and policy elements of telecommunication particularly in the context of 5G. It first presents an overview of the current research and standardization …

Cover of Bharat (Sharda University, India) Bhushan & Azedine (Hassan 1er University and Hassan II University) Boulmakoul: Smart Trajectories

Bharat (Sharda University, India) Bhushan & Azedine (Hassan 1er University and Hassan II University) Boulmakoul: Smart Trajectories

This book highlights the developments, discoveries, and practical and advanced experiences related to responsive distributed computing and how it can support the deployment of trajectory-based …

Cover of Charlie Cullen: Learn Audio Electronics with Arduino

Charlie Cullen: Learn Audio Electronics with Arduino

Learn Audio Electronics with Arduino: Practical Audio Circuits with Arduino Control teaches the reader how to use Arduino to control analogue audio circuits and introduces electronic circuit theory …

Cover of L. Levinson: Electronic Ceramics

L. Levinson: Electronic Ceramics

This book focuses on the properties and configuration of the ceramic which facilitates proper application of material to the task at hand. It is intended for workers in electronics, ceramics, …

Cover of Santosh K. (Rochester Institute of Technology, New York, USA) Kurinec & Sumeet Walia: Energy Efficient Computing & Electronics

Santosh K. (Rochester Institute of Technology, New York, USA) Kurinec & Sumeet Walia: Energy Efficient Computing & Electronics

In our abundant computing infrastructure, performance improvements across most all application spaces are now severely limited by the energy dissipation involved in processing, storing, and moving da …

Cover of Samar K. (Santa Clara University, California, USA) Saha: FinFET Devices for VLSI Circuits and Systems

Samar K. (Santa Clara University, California, USA) Saha: FinFET Devices for VLSI Circuits and Systems

To surmount the continuous scaling challenges of MOSFET devices, Fin FETs have emerged as the real alternative for use as the next generation device for IC fabrication technology. The objective of …

Cover of K. (Larsen and Toubro, Chennai, India.) Karthikeyan & Sanjeevikumar (KPR Institute of Eng. and Tech., TN, India) Padmanaban: Smart Buildings Digitalization

K. (Larsen and Toubro, Chennai, India.) Karthikeyan & Sanjeevikumar (KPR Institute of Eng. and Tech., TN, India) Padmanaban: Smart Buildings Digitalization

This book explains the concept of data centers, including data collection, public parking systems, smart metering, and sanitizer dispensers. Electric urban transport systems and effective electric …

Cover of Lin Bai & Xiang-Gen Xia: Array Beamforming Enabled Wireless Communications

Lin Bai & Xiang-Gen Xia: Array Beamforming Enabled Wireless Communications

This book investigates the most advanced theories and methodologies of array beamforming, with a focus on antenna array enabled wireless communication technology. Combining with the current …

Cover of Hsien-Chung Lin & Changliu Liu: Designing Robot Behavior in Human-Robot Interactions

Hsien-Chung Lin & Changliu Liu: Designing Robot Behavior in Human-Robot Interactions

In this book, we have set up a unified analytical framework for various human-robot systems, which involve peer-peer interactions (either space-sharing or time-sharing) or hierarchical interactions. …