445 search results - page 45 / 89 » Model Checking Quantitative Linear Time Logic |
171
click to vote
QEST
2005
IEEE
15 years 11 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
159
click to vote
FSS
2010
15 years 3 months ago
2010
In this paper, we introduce a linearity test for fuzzy rule-based models in the framework of time series modeling. To do so, we explore a family of statistical models, the regime ...
138
click to vote
ARTS
1997
Springer
15 years 9 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
150
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
–This paper is an experimental study on the performance of the two major methods for macro-level similarity measurement: linear weighted merging and logical retrieval. Performanc...
164
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...