361 search results - page 1 / 73 » Parallel Model Checking for Temporal Epistemic Logic |
128
Voted
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
110
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
100
Voted
AUSAI
2009
Springer
15 years 7 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
92
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
106
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...