488 search results - page 11 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
ICALT
2009
IEEE
15 years 2 months ago
2009
IEEE
Authoring tools for building Intelligent Educational Systems must provide support to ensure flexibility, adaptability of content to the user profile, reusability and sharing of le...
FSTTCS
2006
Springer
15 years 2 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
CMSB
2006
Springer
15 years 2 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
ENTCS
2011
14 years 6 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...