Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and ApplicationsChuchu Fan
Chuchu Fan
- Formato
Escuchar y leer
Entra en un mundo infinito de historias
- Lee y escucha todo lo que quieras
- Más de 600 000 de títulos
- Títulos exclusivos + Storytel Originals
- 14 días de prueba gratis, luego 8,99€/mes
- Fácil de cancelar en cualquier momento
