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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, D ausgeliefert werden.