Titlebook: Quantitative Evaluation of Systems; 16th International C David Parker,Verena Wolf Conference proceedings 2019 Springer Nature Switzerland A

增减字母法

0302-9743 UK, in September 2019..The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction;

biosphere

VEIL

End-User Probabilistic Programmingow how uncertain values can propagate uncertainty through spreadsheets, and how sheet-defined functions can be applied to handle uncertainty. Hence, we draw conclusions about the promise and limitations of probabilistic programming for end-users.

Entirety

Biguanides

Neural Network Precision Tuningmore than a percentage chosen by the user. From a technical point of view, we generate a system of linear constraints among integer variables that we can solve by linear programming. The solution to this system is the new precision of the neurons. We present experimental results obtained by using our method.

Seizure

宽容

信任

伪证

Model Checking Constrained Markov Reward Models with Uncertaintiest or parameter valuations satisfying a given property in the form of a quantifier-free first-order formula in the linear theory of the reals..Our work finds applications in model repair, where parameters need to be tuned so as to satisfy the desired specification, as well as in robustness analysis in the presence of stochastic perturbations.

PAN