Weyns, DannyDannyWeynsGheibi, OmidOmidGheibiQuin, FedericoFedericoQuinVan Der Donckt, JeroenJeroenVan Der Donckt2023-03-232022-12-102022-12-122023-03-2320221556-4665WOS:000886934700001https://imec-publications.be/handle/20.500.12860/40856Deep Learning for Effective and Efficient Reduction of Large Adaptation Spaces in Self-adaptive SystemsJournal article10.1145/3530192WOS:000886934700001MODEL CHECKINGVERIFICATION