33 search results - page 1 / 7 » Generating Linear Temporal Logic Formulas for Pattern-Based ... |
SEKE
2007
Springer
13 years 11 months ago
2007
Springer
ASIAN
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
HASE
2005
IEEE
13 years 11 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
CDC
2009
IEEE
13 years 3 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...