{"id":"W4391022103","doi":"10.1109/cdc49753.2023.10383438","title":"Multi-Agent Reach-Avoid Games: Two Attackers Versus One Defender and Mixed Integer Programming","year":2023,"lang":"en","type":"article","venue":"","topic":"Guidance and Control Systems","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Huawei Technologies","keywords":"Reachability; Computer science; Integer programming; Integer (computer science); Mathematical optimization; Game theory; Curse of dimensionality; Stackelberg competition; State (computer science); Sequential game; Theoretical computer science; Artificial intelligence; Mathematics; Algorithm; Mathematical economics","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.001782133,0.001376199,0.001115407,0.0007859291,0.0005375776,0.001299257,0.001671365,0.001367344,0.002226764],"category_scores_gemma":[0.002930498,0.0005878802,0.001092477,0.0006226283,0.001357656,0.001407393,0.00175616,0.001580755,0.0002494187],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001130249,"about_ca_system_score_gemma":0.001445984,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002776443,"about_ca_topic_score_gemma":0.002909318,"domain_scores_codex":[0.9991056,0.0004097207,0.00002672117,0.0001251814,0.0002069389,0.0001259353],"domain_scores_gemma":[0.9986389,0.0009836585,0.0001500062,0.00004846116,0.00007474994,0.0001041602],"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.00004480818,0.00004727219,0.0002967986,0.00006150241,0.00003463634,0.00006673847,0.00004947545,0.9341314,0.0009636155,0.05446329,0.0004064739,0.00943399],"study_design_scores_gemma":[0.000005714909,0.00001817889,0.0000245583,0.00000432151,0.000004465141,0.000009065227,0.000006866719,0.9925069,0.0001595332,0.007030109,0.000226819,0.000003499856],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01405509,0.0001326999,0.9796854,0.0002295349,0.00002310191,0.00004797828,0.00002301327,0.00007093287,0.005732236],"genre_scores_gemma":[0.6245677,0.0002819017,0.3674146,0.0002676166,0.00005928578,0.0002919612,0.00006884003,0.0000757192,0.006972321],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002776443,"threshold_uncertainty_score":0.009424925,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05275157521073728,"score_gpt":0.2724473044137483,"score_spread":0.219695729203011,"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."}}