In this paper, our experiences so far with developing a platform for mobile P2P applications with the LightPeers framework are presented. We experienced that the use of a role-bas...
— We present an agent-based framework for the development of distributed applications for a team of heterogenous mobile robots. The main goal is to ease the development of cooper...
Abstract--Recurrent applications that mostly run in the background are a significant source of power consumption on batterylimited mobile phones. We highlight the pitfalls of sched...
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
Massimo Franceschet, Angelo Montanari, Maarten de ...
Robotic Development Environments (RDEs) have come to play an increasingly important role in robotics research in general, and for the development of architectures for mobile robot...