{"id":"W4402811239","doi":"10.1109/tie.2024.3451055","title":"Global Temporal Logic Control Synthesis for Multiagent Systems With Time and Space Margin","year":2024,"lang":"en","type":"article","venue":"IEEE Transactions on Industrial Electronics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"National Natural Science Foundation of China","keywords":"Temporal logic; Computer science; Margin (machine learning); Multi-agent system; Control (management); Control system; Control engineering; Control theory (sociology); Artificial intelligence; Engineering; Theoretical computer science; Machine learning; Electrical 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003904529,0.0002673389,0.0003233775,0.000108567,0.0002389313,0.0004164342,0.0003169594,0.000249144,0.00001317982],"category_scores_gemma":[0.0000191097,0.0002057398,0.0001189494,0.000475084,0.00006226645,0.0002455971,0.000002346133,0.0003342253,0.00003594757],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003899691,"about_ca_system_score_gemma":0.0005338583,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001069542,"about_ca_topic_score_gemma":0.0001247729,"domain_scores_codex":[0.9983229,0.000119977,0.0002344985,0.0005571487,0.0002327493,0.000532743],"domain_scores_gemma":[0.9989687,0.0004529073,0.0000622519,0.0002945271,0.00007077429,0.0001508824],"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.003905197,0.002030179,0.0002114044,0.000521935,0.003832651,0.0002990672,0.00110247,0.2333184,0.001819201,0.2716957,0.01818665,0.4630772],"study_design_scores_gemma":[0.003237165,0.002179932,0.000008951833,0.0002266231,0.0003251096,0.000194373,0.00003439545,0.9599742,0.002535393,0.0006965976,0.02993783,0.0006494566],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002657232,0.001362093,0.9922289,0.0008753331,0.001064445,0.0009418358,0.0001078587,0.0003695319,0.0003928],"genre_scores_gemma":[0.9973614,0.00005803405,0.00108845,0.00003955479,0.0002236206,0.0002393041,0.000002029379,0.00002093367,0.0009666307],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9947042,"threshold_uncertainty_score":0.8389826,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02125511119863892,"score_gpt":0.2382611981330653,"score_spread":0.2170060869344263,"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."}}