DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis

  • S.A.J. Lousberg

Scriptie/Masterproef: Master

Datum prijs25 nov. 2019
Originele taalEngels
BegeleiderMichel A. Reniers (Afstudeerdocent 1), Sander B. Thuijsman (Afstudeerdocent 2) & Ramon R.H. Schiffelers (Externe coach)

Citeer dit

'