Speaker
Iat Tou Leong
University of Coimbra, CISUC, Portugal
Talks at this conference:
| 16:30 | Program Verification for Rigorous Analysis of Decision Tree Ensembles against Specifications |
Speaker
University of Coimbra, CISUC, Portugal
| 16:30 | Program Verification for Rigorous Analysis of Decision Tree Ensembles against Specifications |