On the design of correct and optimal dynamical systems and games
scientific article; zbMATH DE number 5576872