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

  • S.A.J. Lousberg

Student thesis: Master

Abstract

Date of Award25 Nov 2019
Original languageEnglish
SupervisorMichel A. Reniers (Supervisor 1), Sander B. Thuijsman (Supervisor 2) & Ramon R.H. Schiffelers (External coach)

Cite this

'