1283 search results - page 1 / 257 » A Survey on Temporal Logics |
TIME
2008
IEEE
13 years 11 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
AMAI
2000
Springer
13 years 4 months ago
2000
Springer
principled ones
CORR
2010
Springer
13 years 4 months ago
2010
Springer
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
MOVEP
2000
13 years 8 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...