Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Appli
84,22 €
This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. It shows that techniques can be successfully applied on a sequence of real-world problems.
Jetzt bei Ebay:
![Produktbild - A descriptive treatise on mining machinery tools and other appli [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/cG4AAOSwQCdm-6iB/s-l140.jpg)
