„Statistical model checking“
Suchergebnisse
1.000+ Treffer
-
Optimal spare management via statistical model checking: a case study in research reactors
-
Model Checking Software – 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
-
Statistical Model Checking with Robust Markov Decision Processes
-
Linear Distances between Markov Chains
-
Simulation and statistical model-checking of logic-based multi-agent system models
-
Correction: Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC
-
Quantitative Analysis of Consistency in NoSQL Key-Value Stores
-
Linear Distances between Markov Chains
-
A simulation-intensive approach for checking hierarchical models
-
Model Checking Software – 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
-
Checking the Assumptions of Rasch's Model for Speed Tests
-
Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC
-
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
-
Classification of Statistical Models Used in Analyzing Comparisons of Test, Checking, and Calibration Laboratories
-
A general model-checking procedure for semiparametric accelerated failure time models
-
Analyzing neural network behavior through deep statistical model checking
-
Resampling Methods for Checking Models and Statistical Hypothesis
-
Model checking for generalized partially linear models
-
ARMA model checking with data-driven portmanteau tests
-
Analyzing neural network behavior through deep statistical model checking