User menu

On the design of correct and optimal dynamical systems and games

Bibliographic reference Sintzoff, Michel. On the design of correct and optimal dynamical systems and games.Joint European Conference on Theory and Practice of Software (ETAPS 2003) (WARSAW(Poland), Apr 05-13, 2003). In: Information Processing Letters, Vol. 88, no. 1-2, p. 59-65 (2003)
Permanent URL http://hdl.handle.net/2078.1/61490