{"id":"W21870292","doi":"10.1007/978-3-642-22012-8_22","title":"A Progress Measure for Explicit-State Probabilistic Model-Checkers","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"Medical Research and Materiel Command","keywords":"Computer science; Measure (data warehouse); Model checking; Probabilistic logic; Property (philosophy); Theoretical computer science; Set (abstract data type); Interval (graph theory); State space; Algorithm; State (computer science); Programming language; Mathematics; Artificial intelligence; Data mining","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02105368,0.003151718,0.003317459,0.007350466,0.002062833,0.007467277,0.005452377,0.003180261,0.004573626],"category_scores_gemma":[0.07771518,0.001667867,0.002698356,0.004041078,0.008181167,0.01683254,0.008165875,0.007803828,0.00133204],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004439856,"about_ca_system_score_gemma":0.003950892,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001243143,"about_ca_topic_score_gemma":0.0009940687,"domain_scores_codex":[0.976164,0.007000247,0.001996807,0.00401019,0.008886709,0.001942071],"domain_scores_gemma":[0.9111642,0.05566597,0.00603324,0.01523424,0.008934767,0.002967447],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004853795,0.0001605325,0.00143036,0.0003460425,0.000108199,0.00008733678,0.0003707127,0.1374767,0.002994804,0.7744285,0.003165043,0.07894644],"study_design_scores_gemma":[0.00004934518,0.0002118639,0.0003129491,0.00009011129,0.0001104548,0.00007437773,0.00005275218,0.5911685,0.006070951,0.3991833,0.00260727,0.00006817868],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01540771,0.0003933304,0.9764214,0.0003565696,0.0001355972,0.0001226286,0.000211622,0.001916577,0.005034507],"genre_scores_gemma":[0.5541755,0.0005781062,0.4358669,0.0002048617,0.0005010286,0.0007716776,0.0008044191,0.00121957,0.005877855],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02105368,"threshold_uncertainty_score":0.1113438,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06402134570840635,"score_gpt":0.2911511280380323,"score_spread":0.2271297823296259,"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."}}