Search

Displaying 121 - 129 of 129 results.

Pages

  1. Monte Carlo Tree Search applied to Go : reaching omega
    By : Vandermosten, Thibault[UCL] Directed by : Deville, Yves[UCL] (2016) Ecole polytechnique de Louvain

  2. Modelling and analysing parliamentary law with Alloy
    By : Munyabarenzi, Clémentine Zaninka[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

  3. Adding SAT-based model checking to the PyNuSMV framework
    By : Gillard, Xavier[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

Pages