{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001106621,0.0006192916,0.0006723974,0.0004267427,0.000555603,0.0006480964,0.0008232704,0.0005653495,0.002369242],"category_scores_gemma":[0.003079186,0.0004906046,0.0006128842,0.0004613854,0.001093854,0.0007971438,0.0011804,0.001472405,0.0002798871],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001240628,"about_ca_system_score_gemma":0.001505423,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005231057,"about_ca_topic_score_gemma":0.006579875,"domain_scores_codex":[0.9994034,0.000249249,0.00002291713,0.00008947748,0.0001505808,0.00008448241],"domain_scores_gemma":[0.9987881,0.0008323244,0.00008830898,0.0001366551,0.0001123951,0.00004229206],"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.00003111205,0.000018644,0.0001769482,0.00004201939,0.000009974924,0.00003176715,0.00005285715,0.9192826,0.001719967,0.05671889,0.0003547766,0.0215605],"study_design_scores_gemma":[0.000004283785,0.000009973786,0.00002117627,0.000002011635,0.000001444858,0.000002768825,0.000002910329,0.9843551,0.0002975353,0.01501513,0.0002858642,0.000001870279],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01056076,0.00005714513,0.9876469,0.00006099757,0.00001112003,0.00003446021,0.00001955142,0.0003126713,0.001296355],"genre_scores_gemma":[0.4083711,0.0001035143,0.5890692,0.00005127061,0.0000187278,0.0003276236,0.0001298692,0.0001073625,0.001821369],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005231057,"threshold_uncertainty_score":0.01040119,"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."}}