Chuchu Fan Formal Methods for Safe Autonomy (Taschenbuch) ACM Books
62,48 €
Autor: Chuchu Fan. Produktart: Taschenbuch. Buchreihe: ACM Books. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. Subtitle: Data-driven Verification, Synthesis, and Applications.
Jetzt bei Ebay:
