2872 search results - page 176 / 575 » On (Omega-)Regular Model Checking |
94
Voted
SOMET
2007
15 years 4 months ago
2007
93
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
111
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
101
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
153
Voted
ECAI
2010
Springer
15 years 4 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...