SynAdapt: Automated Synthesis of Adaptive Agents | IEEE Conference Publication | IEEE Xplore