Vivien

Automatic heuristic-based generation of MTBDD variable orderings for PRISM models Internship report

Vivien, 2009 .

CFS-Engineering Internship Report Exploration of optimisation and machine learning methods in the fields of aircraft design

Vivien, 2020 .