289 search results - page 12 / 58 » Regular Linear Temporal Logic |
103
click to vote
ICML
2009
IEEE
16 years 15 days ago
2009
IEEE
We consider the task of reinforcement learning with linear value function approximation. Temporal difference algorithms, and in particular the Least-Squares Temporal Difference (L...
104
click to vote
CDC
2009
IEEE
14 years 9 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...
ACTA
2004
14 years 11 months ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
109
click to vote
MOVEP
2000
15 years 3 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...
119
click to vote
TCS
1998
14 years 11 months 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...