{"id":"W2029839940","doi":"10.1145/2537948","title":"Approximating Markov Processes by Averaging","year":2014,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Office of Naval Research; Natural Sciences and Engineering Research Council of Canada","keywords":"Bisimulation; Mathematics; Probabilistic logic; Markov process; Probability measure; Bounded function; Equivalence (formal languages); Markov kernel; Probability distribution; Markov chain; Discrete mathematics; Applied mathematics; Markov model; Variable-order Markov model; Mathematical analysis","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.003943745,0.0007281125,0.001118663,0.001554226,0.0007003389,0.00192868,0.001489687,0.0009910346,0.002219581],"category_scores_gemma":[0.01419924,0.0005113946,0.001655529,0.0009098788,0.00227552,0.003380787,0.002233939,0.001884082,0.0003700592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002583124,"about_ca_system_score_gemma":0.001242628,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006513045,"about_ca_topic_score_gemma":0.004333989,"domain_scores_codex":[0.9975878,0.0008696347,0.0001580816,0.0004059082,0.000759731,0.0002189693],"domain_scores_gemma":[0.9949275,0.003417826,0.0004412423,0.0006601374,0.0003736338,0.0001796807],"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.00007260319,0.00003021499,0.001522481,0.00006613333,0.00005897832,0.0001096672,0.0002590328,0.4063548,0.001941645,0.5761127,0.0003796316,0.01309204],"study_design_scores_gemma":[0.000004302296,0.00001481751,0.0001042344,0.000007942142,0.000008487536,0.00001726484,0.00001298589,0.8623143,0.000464483,0.1366326,0.0004105342,0.000007987048],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02193282,0.0001349358,0.9754848,0.0001124005,0.00002338702,0.00001942611,0.00003344749,0.0002234347,0.002035301],"genre_scores_gemma":[0.734889,0.0004352426,0.2598196,0.0001224816,0.00009173968,0.0001478043,0.0002105826,0.0002285207,0.004054966],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006513045,"threshold_uncertainty_score":0.02085674,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01467064351757754,"score_gpt":0.259922977932267,"score_spread":0.2452523344146894,"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."}}