Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
UCHILSIM is a robotic simulator specially developed for the RoboCup four-legged league. It reproduces with high accuracy the dynamics of AIBO motions and its interactions with the ...
In this article we propose a model of a tennis game simulation with synthetic actors as players and a referee. The behavior of these actors is based on their synthetic vision and ...
Collection recommender systems suggest groups of items that work well as a whole. The interaction effects between items is an important consideration, but the vast space of possib...
Abstract--In this paper, we present a new immersive multiplayer game system developed for two different environments, namely, virtual reality (VR) and augmented reality (AR). To ev...
Jefry Tedjokusumo, Steven Zhi-Ying Zhou, Stefan Wi...