13917 search results - page 19 / 2784 » Abstraction of Probabilistic Systems |
FORMATS
2010
Springer
14 years 7 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...
92
Voted
CONCUR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
106
click to vote
JUCS
2010
14 years 4 months ago
2010
Abstract: One of the difficulties that self-directed learners face on their learning process is choosing the right learning resources. One of the goals of adaptive educational syst...
HVC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
89
Voted
ICRA
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...