{"id":"W2105960367","doi":"","title":"Bounding Performance Loss in Approximate MDP Homomorphisms","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; University of Toronto","funders":"","keywords":"Homomorphism; Metric (unit); Markov decision process; Bounding overwatch; Bounded function; Heuristics; Mathematics; Kernel (algebra); Discrete mathematics; Upper and lower bounds; Markov process; Computer science; Combinatorics; Mathematical optimization; 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.01183935,0.001946603,0.002919891,0.001752257,0.0009604119,0.002882115,0.003105961,0.001932481,0.001819784],"category_scores_gemma":[0.07513663,0.0009334392,0.0009016598,0.00164365,0.003351814,0.007524491,0.005848832,0.002801853,0.0003541975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004046936,"about_ca_system_score_gemma":0.002499574,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00151716,"about_ca_topic_score_gemma":0.0008671833,"domain_scores_codex":[0.9841883,0.006550095,0.0007287203,0.002284854,0.004661927,0.001586103],"domain_scores_gemma":[0.944661,0.04224991,0.003911789,0.00573455,0.001956674,0.001486103],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000727248,0.0001597048,0.002907461,0.0001682673,0.00008185957,0.0001065856,0.0002149565,0.8921471,0.003592362,0.05081084,0.0005701962,0.04851336],"study_design_scores_gemma":[0.00001797518,0.0001814164,0.0002751556,0.00001334587,0.00001252984,0.00004945775,0.00003367647,0.9629909,0.001479155,0.0346999,0.0002361708,0.00001027461],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1282166,0.000745316,0.8667535,0.0005924799,0.00004721835,0.0001461481,0.0001208744,0.0008034277,0.002574489],"genre_scores_gemma":[0.9185445,0.0002169444,0.08005913,0.00009401458,0.00003607777,0.0001788325,0.0001236242,0.0001261975,0.0006206694],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01183935,"threshold_uncertainty_score":0.06261319,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04442312361097304,"score_gpt":0.2682888901225504,"score_spread":0.2238657665115773,"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."}}