Using Formal Methods in the Control of Independent Animated Objects

Berka, R., Jelínek, I.

BERKA, R. and I. JELÍNEK. Using Formal Methods in the Control of Independent Animated Objects. In: Workshop 95. Praha, 1995-01-23/1995-01-26. Praha: Czech Technical University in Prague, 1995. p. 251-252.