71 search results - page 3 / 15 » A Calculus for Team Automata |
APLAS
2007
ACM
13 years 10 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
CDC
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract-- The dynamics of exploration vs exploitation decisions are explored in the context of robotic search problems. Building on prior work on robotic search together with our ...
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
ENTCS
2006
13 years 6 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...