Speaker
Raul Barbosa
University of Coimbra, CISUC, Portugal
Talks at this conference:
| 16:30 | Theorem Proving for Rigorous Verification of Decision Tree Ensembles against Specifications |
Speaker
University of Coimbra, CISUC, Portugal
| 16:30 | Theorem Proving for Rigorous Verification of Decision Tree Ensembles against Specifications |