Interactive storytelling in the virtual environment attracts a lot of research interests in recent years. Story plot and character are two most important elements of a story. Based...
This paper briefly describes a scalable architecture for implementing autonomous agents that act in a virtual world created for a computer game and must interact with it by suitabl...
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
The article makes use of three different examples (sensory information processing in the rat trigeminal complex, intracellular interaction in snail neurons and multimodal dynamics...
Alexey N. Pavlov, Valeri A. Makarov, Erik Mosekild...