#verificationofautonomy — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #verificationofautonomy, aggregated by home.social.
-
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