{"id":"W2170296074","doi":"","title":"Equivalence relations in fully and partially observable Markov decision processes","year":2009,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Observability; Equivalence (formal languages); Observable; Mathematics; Bisimulation; Logical equivalence; Markov process; Equivalence relation; Partially observable Markov decision process; Markov chain; Markov kernel; Markov decision process; Discrete mathematics; Markov model; Mathematical economics; Applied mathematics; Variable-order Markov model; Statistics","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.004893083,0.0007624541,0.0007543859,0.00147055,0.0009624353,0.002960976,0.001193696,0.001280397,0.003977125],"category_scores_gemma":[0.02764012,0.0005377172,0.001478281,0.001289103,0.003297104,0.005923068,0.003095856,0.002148377,0.0003042708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001629672,"about_ca_system_score_gemma":0.001107056,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00227225,"about_ca_topic_score_gemma":0.001246718,"domain_scores_codex":[0.9921775,0.003088578,0.000653891,0.001395921,0.001886984,0.000797148],"domain_scores_gemma":[0.9766923,0.01814163,0.001951176,0.001230472,0.001512725,0.0004717467],"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.00009381923,0.00005321757,0.001240896,0.00007279746,0.00003686723,0.0002471452,0.0006735664,0.0303634,0.001060972,0.9518498,0.000265838,0.0140417],"study_design_scores_gemma":[0.0000194134,0.00003484156,0.0003473443,0.00002345621,0.00001871762,0.00005097705,0.00005712678,0.09088366,0.0006827234,0.9070033,0.0008649804,0.00001350665],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.109456,0.0007659102,0.8779961,0.0007974519,0.00006837709,0.000116706,0.0004113919,0.000291344,0.01009667],"genre_scores_gemma":[0.8902462,0.0004688532,0.1059145,0.0001558921,0.0001097537,0.000278981,0.0005285246,0.00007131313,0.00222598],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004893083,"threshold_uncertainty_score":0.02587742,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03218690019228274,"score_gpt":0.3032239881472787,"score_spread":0.271037087954996,"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."}}