Verifiable Autonomous Systems

Discover the cutting-edge insights in Verifiable Autonomous Systems by Louise A. Dennis, published by Cambridge University Press in 2023. This comprehensive hardback edition spans 410 pages, making it an essential resource for professionals, researchers, and postgraduate students alike.

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

Whether you're looking to deepen your expertise or explore the future of autonomous systems, Verifiable Autonomous Systems is a must-have addition to your professional library.