{"id":"W6976570963","doi":"10.60692/07ek5-50j08","title":"An efficient statistical model checker for nondeterminism and rare events","year":2020,"lang":"en","type":"article","venue":"Greater South Information System","topic":"Caribbean and African Literature and Culture","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Nondeterministic algorithm; Rotation formalisms in three dimensions; Model checking; Statistical model; Modular design; Rare events; Abstraction model checking; Variety (cybernetics)","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00005267283,0.0001139555,0.0001420129,0.00003067913,0.0001805925,0.0003039574,0.00006150061,0.00004159405,0.00003564766],"category_scores_gemma":[0.000003769637,0.0000809102,0.00003970459,0.00001591082,0.00002789432,0.0002974232,0.00001417492,0.00005130355,0.00004993249],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000106973,"about_ca_system_score_gemma":0.00001268378,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":5.687954e-7,"about_ca_topic_score_gemma":1.210579e-7,"domain_scores_codex":[0.9993906,0.00001223637,0.0002420434,0.0001074684,0.0001183683,0.0001292919],"domain_scores_gemma":[0.9996195,0.000001692595,0.00007724957,0.0000875348,0.00009160794,0.0001223529],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009018656,0.000002868986,0.000174771,0.0003777505,0.00001896901,0.000001052266,0.8578764,0.0002388538,9.198227e-7,0.139268,0.001793185,0.0001569572],"study_design_scores_gemma":[0.001694672,0.000238405,0.0003604775,0.00008307752,0.00006807155,0.00001034448,0.2102894,0.7684737,0.00003656597,0.00001548893,0.01834414,0.0003856141],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6705237,0.00001923503,0.2649469,0.0004048111,0.0008614952,0.002025933,0.02019672,0.0006145391,0.04040664],"genre_scores_gemma":[0.997964,1.800072e-8,0.0004551361,0.0008885306,0.0002331661,0.00003616291,0.0001386399,0.000006640371,0.0002776993],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7682348,"threshold_uncertainty_score":0.3299422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04202716400258745,"score_gpt":0.2129824804461495,"score_spread":0.1709553164435621,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}