1860 search results - page 78 / 372 » A Temporal Logic of Robustness |
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
TOCL
2010
13 years 4 months ago
2010
ASIAN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
KR
2010
Springer
14 years 2 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 ...