{"id":"W2726753079","doi":"10.2168/lmcs-4(2:2)2008","title":"Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems","year":2008,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"IBM (Canada); York University","funders":"","keywords":"Probabilistic logic; Duality (order theory); Interval (graph theory); Dual (grammatical number); Discounting; Order (exchange); Zero (linguistics); Decision theory; Degree (music)","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.006021723,0.0008187449,0.001068797,0.001834082,0.0009251786,0.002819031,0.001972157,0.001393964,0.002287665],"category_scores_gemma":[0.02853676,0.0009273889,0.001694424,0.001190662,0.002925588,0.006774155,0.004038383,0.003145139,0.0004031336],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003839541,"about_ca_system_score_gemma":0.001806387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00268374,"about_ca_topic_score_gemma":0.00179754,"domain_scores_codex":[0.9947582,0.001652142,0.000347108,0.0009887893,0.001829613,0.0004241349],"domain_scores_gemma":[0.9889007,0.007055511,0.001022951,0.001517246,0.001010192,0.000493456],"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.0002060459,0.00005225548,0.001699569,0.0001269392,0.00003842201,0.00009119064,0.0003605353,0.3074369,0.003188382,0.6465677,0.0005110619,0.03972103],"study_design_scores_gemma":[0.00001026387,0.00003280922,0.0001345457,0.00001102546,0.000006938028,0.0000391849,0.00001770141,0.8016347,0.001206609,0.1961659,0.0007235714,0.00001680657],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04353116,0.00018427,0.9541913,0.0002149827,0.00002464123,0.00004006309,0.0000455278,0.0003035752,0.001464495],"genre_scores_gemma":[0.6259863,0.0002592212,0.3709308,0.00008697392,0.00003757452,0.0001135675,0.0001635355,0.0001343446,0.002287647],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006021723,"threshold_uncertainty_score":0.03184628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1758177199586406,"score_gpt":0.4064235178591127,"score_spread":0.2306057979004721,"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."}}