My Verification of Autonomous Systems book is finally out!

In addition to contributed chapters on theoretical and practical aspects of verifying autonomy*, the editors contributed an introduction on stakeholder perspectives and a chapter on the specific challenges autonomy introduces to verification.

Each chapter is cross-referenced to e challenges it addresses in a handy table to help readers find the information most useful to them.

I'm really proud of all our authors! So many thanks to everyone who contributed^, especially my co-editors, Mae Seto, Don Sofge, and John Sustersic!

E-book now available for download and hard copy coming soon!

* This book is about verifying autonomous embodied robots, not LLMs or AI models.

^ No AI was used in the generation of this book's content.

Link: https://link.springer.com/book/10.1007/978-3-031-88546-4

#Robotics #AutonomousSystems #Verification #VerificationOfAutonomy #Robots #AutonomousRobots #CyberPhysicalSystems #RobotTesting #FormalMethods #Modeling #Simulation