1860 search results - page 113 / 372 » A Temporal Logic of Robustness |
64
Voted
JVCA
2006
15 years 18 days ago
2006
In this paper we address the problem of temporal alignment applied to captured communicative gestures conveying different styles. We propose a representation space that may be con...
85
Voted
RV
2007
Springer
15 years 6 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
102
Voted
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
118
click to vote
SIGSOFT
2003
ACM
15 years 5 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
93
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...