4341 search results - page 37 / 869 » Quantitative Model checking |
MANSCI
2010
13 years 7 months ago
2010
This paper introduces a choice-based method that for the first time makes it possible to quantitatively measure regret theory, one of the most popular models of decision under unc...
BMCBI
2005
2005
A microarray data-based semi-kinetic method for predicting quantitative dynamics of genetic networks
13 years 8 months ago
Background: Elucidating the dynamic behaviour of genetic regulatory networks is one of the most significant challenges in systems biology. However, conventional quantitative predi...
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
FMCAD
2006
Springer
14 years 16 days ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...