User menu

Synthesis of optimal control policies for some infinite-state transition systems

Bibliographic reference Sintzoff, Michel. Synthesis of optimal control policies for some infinite-state transition systems.Mathematics of Program Construction. 9th International Conference, MPC 2008 (Marseille, France, 15-18 July 2008). In: Audebaud, P.; Paulin-Mohring, C.;, Mathematics of Program Construction. 9th International Conference, MPC 2008, Springer-verlag2008, p. 336-359
Permanent URL http://hdl.handle.net/2078.1/67671