{"id":"W2108886305","doi":"10.1109/qest.2008.42","title":"Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":99,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Bisimulation; Probabilistic logic; Computer science; Logical equivalence; Theoretical computer science; Equivalence (formal languages); Robustness (evolution); Closeness; Soundness; Metric (unit); Algorithm; Mathematics; Discrete mathematics; 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.00332108,0.0009880714,0.001320794,0.001331354,0.0006574453,0.002851733,0.002255013,0.001441759,0.002522876],"category_scores_gemma":[0.01307382,0.0005324904,0.002000431,0.001431562,0.00381068,0.006150481,0.002696239,0.002658708,0.0003296071],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002894669,"about_ca_system_score_gemma":0.001415005,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002708359,"about_ca_topic_score_gemma":0.001502484,"domain_scores_codex":[0.9965947,0.001423524,0.000216316,0.0004634571,0.001069315,0.0002325892],"domain_scores_gemma":[0.9930743,0.004934792,0.0006045417,0.0007551658,0.0004480135,0.0001832297],"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.00005289836,0.00003006542,0.0005353077,0.000122945,0.00004804555,0.00006769463,0.0001396283,0.2396134,0.001417529,0.7435972,0.0002738833,0.01410133],"study_design_scores_gemma":[0.000008409095,0.00002102303,0.00007258428,0.00001481948,0.00001032656,0.00002995573,0.00001626003,0.4904248,0.0007217262,0.5076991,0.0009706601,0.00001040247],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008849894,0.0003062038,0.9887084,0.0003574229,0.00002065174,0.00002035452,0.00002727058,0.00009558318,0.001614307],"genre_scores_gemma":[0.6094826,0.001256549,0.3839885,0.000336443,0.0001861324,0.0002552904,0.0001876602,0.000147519,0.004159363],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00332108,"threshold_uncertainty_score":0.02100241,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0666572969321753,"score_gpt":0.325424812103734,"score_spread":0.2587675151715587,"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."}}