{"id":"W129361833","doi":"","title":"Isomorph-free branch and bound search for finite state controllers","year":2013,"lang":"en","type":"article","venue":"Kent Academic Repository (University of Kent)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Ontario Ministry of Research and Innovation; Natural Sciences and Engineering Research Council of Canada; Toronto Rehabilitation Institute; Alzheimer's Association","keywords":"Benchmark (surveying); Computer science; Local search (optimization); Controller (irrigation); Partially observable Markov decision process; Local optimum; State (computer science); Upper and lower bounds; Markov decision process; Mathematical optimization; Mobile robot; Markov chain; Markov process; Artificial intelligence; Markov model; Algorithm; Machine learning; Robot; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.003515425,0.001253664,0.001763179,0.001621581,0.001009079,0.001979253,0.001638514,0.001897978,0.005889469],"category_scores_gemma":[0.01347227,0.000952684,0.001483715,0.001461493,0.002643022,0.002721229,0.002251526,0.002879,0.0006394199],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002170484,"about_ca_system_score_gemma":0.002684752,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0039526,"about_ca_topic_score_gemma":0.004675722,"domain_scores_codex":[0.9979914,0.0008029565,0.0001398371,0.0003632459,0.0004434738,0.0002590306],"domain_scores_gemma":[0.9875613,0.01101781,0.0003927739,0.0005408007,0.0003311588,0.0001561471],"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.0002365073,0.0001276791,0.0005686213,0.0002328914,0.00005657174,0.0001123111,0.0001616175,0.8571613,0.001577599,0.06796994,0.001455074,0.07033993],"study_design_scores_gemma":[0.00004491427,0.00003434798,0.00004367803,0.000017114,0.00001445135,0.00001427338,0.00001393572,0.939178,0.0007224017,0.05944834,0.0004609654,0.000007431999],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01816942,0.0003220355,0.9755195,0.0002721593,0.00004104706,0.00009831328,0.0000770203,0.0009637938,0.004536759],"genre_scores_gemma":[0.408064,0.00031596,0.5852894,0.0002502472,0.00005487231,0.00059954,0.0003341007,0.0004425181,0.00464936],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005889469,"threshold_uncertainty_score":0.01970226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02047895408540751,"score_gpt":0.2350840156346965,"score_spread":0.214605061549289,"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."}}