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

## Primary tabs

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 |