{"id":"W2106777832","doi":"10.1109/9.983355","title":"Hierarchically accelerated dynamic programming for finite-state machines","year":2002,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Canadian Institute for Advanced Research","funders":"","keywords":"Computer science; Partition (number theory); Dynamic programming; Finite-state machine; Iterated function; Hierarchy; Abstraction; Grid; State (computer science); Mathematical optimization; Theoretical computer science; Algorithm; Mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003892367,0.0002907304,0.0003997084,0.0003474434,0.0003679837,0.0003524261,0.0008105673,0.00009315773,0.00006843706],"category_scores_gemma":[0.00004380767,0.0002657125,0.0002229385,0.0006142261,0.00004463832,0.0003947398,0.000002589104,0.0002141382,0.0001037667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001152258,"about_ca_system_score_gemma":0.0000451374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000989659,"about_ca_topic_score_gemma":0.00003250695,"domain_scores_codex":[0.9977831,0.0001409133,0.000638193,0.0005226085,0.000377606,0.0005375309],"domain_scores_gemma":[0.9977912,0.001069022,0.000164025,0.0006864567,0.0001367521,0.0001525461],"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.00001452321,0.0002244341,0.00000129105,0.00006901464,0.00009456895,0.00001430116,0.0005912365,0.1088185,0.0005195899,0.00007141798,0.00003664524,0.8895445],"study_design_scores_gemma":[0.002094828,0.000194275,0.00001221498,0.00008571365,0.00003380439,0.00003240038,0.000005567611,0.9963292,0.0001698234,0.000409362,0.0003536642,0.0002791237],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004924134,0.00007374021,0.9904945,0.001185747,0.0007760015,0.001248165,0.00003672043,0.001159486,0.0001015124],"genre_scores_gemma":[0.9111198,0.000008308542,0.08720272,0.0003499547,0.00002072556,0.0006005708,0.000001133352,0.000032506,0.000664292],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9061956,"threshold_uncertainty_score":0.9999795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02542140656329227,"score_gpt":0.2645414737102467,"score_spread":0.2391200671469544,"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."}}