Computer-aided synthesis of qualitative uncertain control systems | IEEE Conference Publication | IEEE Xplore