186 search results - page 9 / 38 » Crafting game-models using reactive system design |
ROBOCUP
2001
Springer
15 years 3 months ago
2001
Springer
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
104
click to vote
TPDS
2010
14 years 5 months ago
2010
In the past, some research has been done on how to use proactive recovery to build intrusion-tolerant replicated systems that are resilient to any number of faults, as long as reco...
LICS
1996
IEEE
15 years 3 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...