4962 search results - page 54 / 993 » Stochastic Model Checking |
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents a new mathematical model for the human behavior called Stochastic Switched Linear Dynamical (SS-LD) model. The SS-LD model can be regarded as a natural exte...
WSC
2007
13 years 10 months ago
2007
We consider the problem of pricing American options when the volatility of the underlying asset price is stochastic. No specific stochastic volatility model is assumed for the st...
TSMC
2010
13 years 2 months ago
2010
This paper introduces a new general methodology for the modeling and reliability evaluation of small isolated power systems, which include wind turbines, photovoltaics, and diesel ...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...