Louise A. Dennis – författare
Visar alla böcker från författaren Louise A. Dennis. Handla med fri frakt och snabb leverans.
4 produkter
Verifiable Autonomous Systems
Using Rational Agents to Provide Assurance about Decisions Made by Machines
Av Louise A. Dennis, Michael Fisher
Inbunden, 2023
1305 kr
Lägg i varukorg
How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to …
Verifiable Autonomous Systems
Using Rational Agents to Provide Assurance about Decisions Made by Machines
Av Michael Fisher, Louise A. Dennis
E-bok, 2023
1190 kr
Lägg i varukorg
How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to …
Engineering Multi-Agent Systems
7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers
Av Louise A. Dennis, Rafael H. Bordini m. fl.
Häftad, 2020
623 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, held in Montreal, QC, Canada, in May 2019.The 13 revised full papers presented in this book were carefully selected and reviewed from 20 …
Engineering Multi-Agent Systems
7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers
Av Yves Lesperance, Rafael H. Bordini m. fl.
E-bok, 2020
839 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, held in Montreal, QC, Canada, in May 2019. The 13 revised full papers presented in this book were carefully selected and reviewed from 20 …
