Formale Methoden für sichere Autonomie: Datengesteuerte Verifizierung, Synthese und Anwendung
74,38 €
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:
