1287 search results - page 10 / 258 » Self-Normalized Linear Tests |
126
Voted
FATES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
99
Voted
UAI
2001
15 years 1 months ago
2001
An instrument is a random variable that is uncorrelated with certain (unobserved) error terms and, thus, allows the identification of structural parameters in linear models. In no...
103
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...
80
Voted
ENTCS
2010
15 years 16 days ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
96
Voted
SIAMCO
2002
15 years 3 days ago
2002
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....