Slide 1 Integrating Linear Temporal Logic and a Parameterized Action Representation & Creating 3D Animated Human Behaviors for Virtual Worlds Jan M. Allbeck George Mason…
