713 search results - page 20 / 143 » Model Checking and Transitive-Closure Logic |
140
Voted
LOGCOM
2006
15 years 7 months ago
2006
147
Voted
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
276
Voted
COMPSAC
2011
IEEE
14 years 7 months ago
2011
IEEE
214
Voted
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...