Speaker
Cinzia Bernardeschi
Talks at this conference:
| 11, 10:30 | Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover Live |
Speaker
| 11, 10:30 | Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover Live |