Post #1791015

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