{"id":"W2246097493","doi":"10.1109/icumt.2015.7382395","title":"Optimal control in a value-based automatic behavior composition framework","year":2015,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computation; Computer science; Set (abstract data type); Controller (irrigation); Control (management); Composition (language); Value (mathematics); Line (geometry); Artificial intelligence; Machine learning; 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.001883973,0.0006435494,0.0006111856,0.0005510584,0.0005378015,0.001168241,0.001130617,0.0007246835,0.00189319],"category_scores_gemma":[0.001991145,0.0004568408,0.0007574914,0.000409953,0.001930166,0.001195607,0.001043494,0.00106569,0.0001995205],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001411842,"about_ca_system_score_gemma":0.00187307,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004616592,"about_ca_topic_score_gemma":0.004554066,"domain_scores_codex":[0.9985272,0.0004040461,0.0000715328,0.0002496176,0.0005650417,0.0001825163],"domain_scores_gemma":[0.9991952,0.0004376483,0.0001044771,0.0000825907,0.0001269042,0.00005324478],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001022358,0.00007992935,0.0002105418,0.00008698684,0.00003920505,0.0001392699,0.0001260777,0.6309536,0.009980964,0.3329564,0.0005061911,0.02481862],"study_design_scores_gemma":[0.00004254905,0.00005655696,0.00007108344,0.0000100514,0.00001693143,0.00002697071,0.00001475856,0.9078197,0.00227067,0.08785319,0.001804724,0.00001291906],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01305632,0.0001369215,0.9831214,0.0001108693,0.00001794994,0.00003555271,0.00001803424,0.0003234613,0.003179455],"genre_scores_gemma":[0.6427339,0.0002382609,0.3533218,0.00009948743,0.00003676891,0.0002129915,0.00005785136,0.0001209144,0.003178003],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004616592,"threshold_uncertainty_score":0.01024365,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03858075328261272,"score_gpt":0.3268700344256999,"score_spread":0.2882892811430872,"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."}}