In this work we propose the introduction of a decoupling between personalized curricula and curricula models. A curricula model is formalized as a set of time constraints, while personalized curricula are formalized by means of an action theory. Given this framework, it is possible to make various interesting verification tasks automatic. In particular, we will discuss the possibility of verify...
