1860 search results - page 1 / 372 » A Temporal Logic of Robustness |
FORMATS
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
FROCOS
2007
Springer
13 years 10 months ago
2007
Springer
FATES
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2010
Springer
13 years 3 months ago
2010
Springer
CONCUR
1999
Springer
13 years 8 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...