Michel Sintzoff Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. 336-359 2008 MPC http://dx.doi.org/10.1007/978-3-540-70594-9_18 conf/mpc/2008 db/conf/mpc/mpc2008.html#Sintzoff08