{"id":"W2147420447","doi":"10.1007/978-3-642-11811-1_2","title":"Formal Probabilistic Analysis: A Higher-Order Logic Based Approach","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Probabilistic logic; Computer science; Probabilistic CTL; Probabilistic analysis of algorithms; Theoretical computer science; Probabilistic argumentation; Scale (ratio); Artificial intelligence","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.003696717,0.001465712,0.001324877,0.003056454,0.001336647,0.005345631,0.00339061,0.001657554,0.01263078],"category_scores_gemma":[0.007772752,0.001128026,0.003616946,0.002516353,0.004893881,0.009583344,0.002755968,0.00435889,0.002730368],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00243488,"about_ca_system_score_gemma":0.001846498,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001648858,"about_ca_topic_score_gemma":0.001609973,"domain_scores_codex":[0.9966239,0.0009358753,0.0002435002,0.0004456899,0.001525902,0.0002251148],"domain_scores_gemma":[0.9948939,0.003231352,0.0003364953,0.0008616039,0.0005393554,0.0001372441],"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.000008566969,0.00001870557,0.00008144121,0.000079262,0.00001577045,0.0000513159,0.00008244492,0.007751601,0.0005718535,0.9766714,0.0008737837,0.01379382],"study_design_scores_gemma":[0.000004595245,0.000009431708,0.00005068408,0.00002054197,0.00001960102,0.00007639454,0.00001828032,0.0349603,0.0008981656,0.9556955,0.008231954,0.00001451941],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007108463,0.0002241349,0.9920597,0.0002934328,0.00006628525,0.00002475567,0.00005308147,0.000181387,0.00638623],"genre_scores_gemma":[0.1808885,0.001955456,0.7927715,0.0005843055,0.0007878562,0.0002514379,0.0003879774,0.0005557854,0.02181721],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01263078,"threshold_uncertainty_score":0.04225421,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03217981723058657,"score_gpt":0.2749233640525519,"score_spread":0.2427435468219653,"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."}}