Illustration

Biographie et livres de Louise A. Dennis

Découvrez tout l'univers de l'auteur en livre numérique
Dr Louise Dennis is leader of the Autonomy and Verification research group at the University of Manchester and conference coordinator for the ACM Special Interest Group for Artificial Intelligence. She studied Mathematics and Philosophy at the University of Oxford and received her PhD from the University of Edinburgh in using AI techniques to prove mathematical theorems; her interest in the overlap between Mathematics, Philosophy and Artificial Intelligence has continued ever since. Her current
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Verifiable Autonomous Systems
Ajouter à ma liste d'envies
Verifiable Autonomous Systems

Louise A. Dennis , Michael Fisher

Cambridge University Press

2023-06-08

PDF

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

86,18 €

Lire plus

Tous les ebooks de Louise A. Dennis en PDF


 

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés