Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)

Price: $54.95
(as of Dec 27,2024 12:51:16 UTC – Details)

ASIN ‏ : ‎ B0DKB2NZFS
Publisher ‏ : ‎ ACM Books (October 7, 2024)
Language ‏ : ‎ English
Paperback ‏ : ‎ 184 pages
ISBN-13 ‏ : ‎ 979-8400708633
Item Weight ‏ : ‎ 11.5 ounces
Dimensions ‏ : ‎ 7.5 x 0.39 x 9.25 inches

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)

In the rapidly evolving field of autonomous systems, ensuring safety and reliability is of paramount importance. Formal methods, which provide mathematical techniques for rigorously verifying and synthesizing correct behaviors, are essential tools for achieving this goal.

This book, published by the Association for Computing Machinery (ACM), explores the latest advances in formal methods for safe autonomy, with a focus on data-driven approaches. The authors present cutting-edge research on verification and synthesis techniques that leverage data to improve the reliability and robustness of autonomous systems.

Topics covered in the book include:

– Formal verification of autonomous systems using data-driven techniques
– Synthesis of controllers for autonomous systems based on data-driven models
– Applications of formal methods in diverse domains, such as robotics, self-driving cars, and unmanned aerial vehicles
– Case studies and real-world examples illustrating the benefits of data-driven formal methods for safe autonomy

Whether you are a researcher, practitioner, or student in the field of autonomous systems, this book provides valuable insights into the use of formal methods for ensuring the safety and reliability of autonomous systems. Stay ahead of the curve with the latest research and applications in data-driven verification, synthesis, and more.
#Formal #Methods #Safe #Autonomy #DataDriven #Verification #Synthesis #Applications #ACM #Books