{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002582841,0.001277759,0.001035138,0.00103985,0.000658382,0.001275937,0.001431591,0.0008733872,0.005910503],"category_scores_gemma":[0.006911355,0.0007224508,0.00146283,0.001083335,0.000801149,0.001884326,0.001544131,0.002863162,0.0009719076],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001014894,"about_ca_system_score_gemma":0.003513685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002818723,"about_ca_topic_score_gemma":0.004083045,"domain_scores_codex":[0.9983577,0.0004789224,0.0001062478,0.0002923551,0.0005917141,0.0001730236],"domain_scores_gemma":[0.9969183,0.00214622,0.0002211629,0.0002378962,0.0003490724,0.0001273158],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002460212,0.000226218,0.0009115709,0.0005738765,0.0001600256,0.0002853048,0.0002610733,0.4974065,0.0129358,0.2121131,0.005827645,0.269053],"study_design_scores_gemma":[0.00004572912,0.0000736685,0.00006563908,0.00002658995,0.00002756335,0.0000725463,0.00001807176,0.9290512,0.003429066,0.0630238,0.00415143,0.00001456587],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001495634,0.00009899156,0.9969456,0.0001174852,0.00004466267,0.00004829541,0.00003134098,0.0003798811,0.0008381318],"genre_scores_gemma":[0.1367546,0.0004268116,0.8594926,0.0001829748,0.0001389037,0.0002869766,0.000177498,0.0001659944,0.00237381],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005910503,"threshold_uncertainty_score":0.01977265,"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."}}