Speaker
Itay Buchnik
More Information:
Talks at this conference:
| Sat, 11:30 | veriFIRE: An Industrial Case Study in Verifying Consistency Properties for DNN-Based Wildfire Detection System |
Speaker
| Sat, 11:30 | veriFIRE: An Industrial Case Study in Verifying Consistency Properties for DNN-Based Wildfire Detection System |