{"id":"W2950924851","doi":"10.2168/lmcs-2(1:4)2006","title":"Approximate reasoning for real-time probabilistic processes","year":2006,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Bisimulation; Probabilistic logic; Metric (unit); Computer science; Characterization (materials science); Coinduction; Algorithm; Kernel (algebra); Class (philosophy); Theoretical computer science; Mathematics; Discrete mathematics; Artificial intelligence; Mathematical proof","routes":{"ca_aff":true,"ca_fund":true,"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.005730931,0.0007479734,0.0008304023,0.001482607,0.000982233,0.00323614,0.001950425,0.001398664,0.001941233],"category_scores_gemma":[0.02525635,0.0005718471,0.002002517,0.001284622,0.004584427,0.007986022,0.003951627,0.002906211,0.000230275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00301977,"about_ca_system_score_gemma":0.0011897,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002272162,"about_ca_topic_score_gemma":0.001612824,"domain_scores_codex":[0.9934035,0.002267847,0.0005342657,0.001078551,0.002392855,0.0003228978],"domain_scores_gemma":[0.9857334,0.008434758,0.001780328,0.002088949,0.001484543,0.0004780716],"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.00004937273,0.00002206692,0.0004359687,0.00007563084,0.00004888411,0.0001206015,0.0003269567,0.07226823,0.001731995,0.914692,0.0001632376,0.01006506],"study_design_scores_gemma":[0.00001607976,0.00003348918,0.0001414741,0.00001579682,0.00001970404,0.00006358828,0.00006175689,0.3663639,0.002064919,0.629576,0.001624701,0.00001861239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01732823,0.0001347707,0.9807509,0.0002465772,0.00002219279,0.00002280521,0.00003079219,0.0001483083,0.001315488],"genre_scores_gemma":[0.7140114,0.0002720658,0.2835965,0.000162853,0.00007055434,0.0001541816,0.000140875,0.00006453778,0.00152714],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005730931,"threshold_uncertainty_score":0.03030843,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0542199564321787,"score_gpt":0.3756684191022505,"score_spread":0.3214484626700718,"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."}}