690 search results - page 18 / 138 » Testing Temporal Logic Properties in Distributed Systems |
79
Voted
MOC
2002
15 years 1 days ago
2002
This paper presents the limit laws of discrepancies defined via exponential sums, and algorithms (with error bounds) to approximate the corresponding distribution functions. The re...
104
Voted
CLIMA
2010
15 years 1 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
ENTCS
2006
15 years 12 days ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
126
click to vote
FOSSACS
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
112
Voted
KR
2010
Springer
15 years 4 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...