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. Workshop 95, Praha, 1995-01-23/1995-01-26. Praha: České vysoké učení technické v Praze, 1995. pp. 251-252.