361 search results - page 1 / 73 » Parallel Model Checking for Temporal Epistemic Logic |
ECAI
2010
Springer
13 years 12 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...
ATAL
2005
Springer
14 years 4 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...
AUSAI
2009
Springer
14 years 5 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...
ATAL
2010
Springer
13 years 12 months ago
2010
Springer
ATAL
2007
Springer
14 years 5 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...