We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
— Stochastic self-reconfiguring robots are modular robots that possess the ability to autonomously change the arrangement of their modules and do so through the use of nondetermi...
Jonas Neubert, Abraham P. Cantwell, Stephane Const...
—This paper introduces a simple algorithm for non-prehensile object transportation by a pushing robot on a flat surface. We assume that the global position and orientation of the...
In a good team, members do not only perform their individual task, they also coordinate their actions with other members of the team. Developing such team skills usually involves e...
Jurriaan van Diggelen, Tijmen Muller, Karel van de...
Abstract-- The efficiency of distributed sensor networks depends on an optimal trade-off between the usage of resources and data quality. The work in this paper addresses the probl...
Amanda Prorok, Christopher M. Cianci, Alcherio Mar...