Aleksandar AVDALOVIĆ: Translation of random forests to loop-free imperative programs for the purpose of formal verification

V ponedeljek, 17. julija 2023, bo ob 17.00 uri izvedeno predavanje v okviru PONEDELJKOVEGA SEMINARJA RAČUNALNIŠTVA IN INFORMATIKE Oddelkov za Informacijske znanosti in tehnologije UP FAMNIT in UP IAM. ČAS/PROSTOR: 17. julij 2023 ob 17.00 na daljavo prek ZOOM-a ()…