261 search results - page 4 / 53 » Detecting Temporal Logic Predicates on Distributed Computati... |
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
CONCUR
1990
Springer
13 years 11 months ago
1990
Springer
BANFF
1995
13 years 11 months ago
1995
CONCUR
1997
Springer
13 years 12 months ago
1997
Springer
CONCUR
2003
Springer
14 years 27 days ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...