1283 search results - page 66 / 257 » A Survey on Temporal Logics |
159
click to vote
LOGCOM
2002
15 years 5 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
154
click to vote
VL
2007
IEEE
16 years 13 days ago
2007
IEEE
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...