LIBROS DEL AUTOR: chuchu fan

1 resultados para LIBROS DEL AUTOR: chuchu fan

chuchu fan Eliminar filtro Quitar filtros
  • Formal Methods for Safe Autonomy
    Chuchu Fan
    There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed with soundness, precision, and relative completeness guarantees. On the experime...
    Disponible

    71,80 €