445 search results - page 45 / 89 » Model Checking Quantitative Linear Time Logic |
110
click to vote
QEST
2005
IEEE
15 years 7 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...
117
Voted
FSS
2010
14 years 11 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 ...
93
Voted
ARTS
1997
Springer
15 years 5 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 ...
106
Voted
IEEEMSP
2002
IEEE
15 years 6 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...
119
Voted
CDC
2009
IEEE
14 years 11 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...