Computing an appropriate control strategy based only on a given plant's rule-based model is NP-hard | IEEE Conference Publication | IEEE Xplore