198 search results - page 6 / 40 » Weak Probabilistic Anonymity |
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
LICS
2002
IEEE
14 years 2 months ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
KR
2004
Springer
14 years 2 months ago
2004
Springer
CAV
1997
Springer
14 years 1 months ago
1997
Springer
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...