Formal verification of tree ensembles in safety-critical applications
- Författare
- John Törnblom
- (John Törnblom.)
- Genre
- Statlig publikation, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer and Information Science, Linköping University | 2020 | Sverige, Linköping | 1 onlineresurs (vii, 22 sidor) illustrationer | |
| Department of Computer and Information Science, Linköping University | 2020 | Sverige, Linköping | vii, 22 sidor illustrationer | 978-91-7929-748-0 |