Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore