1398 search results - page 13 / 280 » Ensuring Properties of Interaction Systems |
AAAI
2010
13 years 8 months ago
2010
As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— We propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots with communication-delay in the maste...
ENTCS
2010
13 years 4 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
MFCS
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...