{"id":"W2153601367","doi":"","title":"A Novel Prioritization Technique for Solving Markov Decision Processes","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Backup; Computer science; Markov decision process; Prioritization; Overhead (engineering); Metric (unit); Markov process; Mathematical optimization; Sequence (biology); Function (biology); Markov chain; Computation; Distributed computing; Algorithm; Machine learning; Mathematics; Engineering","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.0004299972,0.00007806371,0.00008068298,0.00009589584,0.0001875772,0.00005031405,0.0004634699,0.00006135265,0.000003027689],"category_scores_gemma":[0.0009570408,0.00007021658,0.00002494998,0.0004840137,0.00002420995,0.0007429455,0.00008844423,0.00004385609,0.000004680785],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003763837,"about_ca_system_score_gemma":0.0001247837,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003565106,"about_ca_topic_score_gemma":0.000002053328,"domain_scores_codex":[0.9992123,0.000009196063,0.0001949062,0.00025748,0.0001750358,0.0001510978],"domain_scores_gemma":[0.9990828,0.0001902143,0.00007376917,0.0003145656,0.0003036948,0.00003495529],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00005616548,0.0003123446,0.0006144111,0.0003240835,0.00001070777,0.000002782601,0.001141874,0.0001055116,0.318853,0.4787717,0.002054688,0.1977527],"study_design_scores_gemma":[0.0005624175,0.0002006032,0.002017331,0.0001134933,0.000004222782,0.0002591154,0.00002426436,0.1720317,0.8012913,0.01832528,0.004764576,0.0004056666],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004052072,0.00002915944,0.9962578,0.00006017099,0.0001445905,0.0005737111,9.522118e-7,0.0002358738,0.002292571],"genre_scores_gemma":[0.04363165,0.00002640806,0.9558128,0.0000982266,0.00003628488,0.0002054017,0.000001754072,0.000007739543,0.0001797878],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4824383,"threshold_uncertainty_score":0.2863349,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04371288046499113,"score_gpt":0.3126835919398102,"score_spread":0.268970711474819,"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."}}