518 search results - page 17 / 104 » Time Window Temporal Logic |
132
Voted
TCS
1998
15 years 24 days ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
110
click to vote
NIPS
2003
15 years 2 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
105
Voted
JLP
2008
15 years 1 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
110
Voted
ATAL
2005
Springer
15 years 6 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...
77
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
We describe the use of a statistical technique called Tpattern analysis to derive and characterize the routineness of tasks. T-patterns provide significant advantages over traditi...