{"id":"W1766015196","doi":"","title":"Polynomial value iteration algorithms for deterministic MDPs","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Markov decision process; Power iteration; Rayleigh quotient iteration; Mathematics; Value (mathematics); Arnoldi iteration; Convergence (economics); Markov chain; Polynomial; Time complexity; Discrete mathematics; Mathematical optimization; Algorithm; Applied mathematics; Markov process; Iterative method; Computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002701588,0.00007972813,0.00007893974,0.0000608992,0.0001132915,0.0001596641,0.0004058878,0.00004829969,0.00003457048],"category_scores_gemma":[0.0001269077,0.000073645,0.00004353954,0.0001331143,0.00002017967,0.0005179945,0.00004827717,0.00004212796,0.0000956032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003441217,"about_ca_system_score_gemma":0.000009537098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004063972,"about_ca_topic_score_gemma":5.501093e-7,"domain_scores_codex":[0.9992316,0.00004559237,0.0001888408,0.0002392869,0.0001230051,0.0001716513],"domain_scores_gemma":[0.9993908,0.00009150912,0.00005707524,0.0003603512,0.00005116608,0.00004904748],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006154206,0.00008323971,0.00002402945,0.00001993156,0.000008255772,0.000001833241,0.0008502701,0.0001511106,0.002262241,0.1551671,0.01364012,0.8277857],"study_design_scores_gemma":[0.0001952335,0.0001131626,0.0001987962,0.000002932617,0.000002887292,0.00001176553,0.000003647308,0.9760672,0.006576125,0.0006243733,0.0160979,0.0001060007],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008092473,0.00001958133,0.9921498,0.0002857946,0.0007859576,0.000226715,0.00000196924,0.0001517492,0.005569222],"genre_scores_gemma":[0.07816208,0.000002702894,0.9196677,0.0003460417,0.0001716948,0.0000520617,0.000001872978,0.000005998254,0.001589812],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9759161,"threshold_uncertainty_score":0.3003156,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07982465010121462,"score_gpt":0.3161016178881881,"score_spread":0.2362769677869735,"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."}}