{"id":"W7093306598","doi":"10.1109/sbft66712.2025.00007","title":"SBFT Tool Competition 2025 – UAV Testing Track","year":2025,"lang":"en","type":"article","venue":"","topic":"Air Traffic Management and Optimization","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Context (archaeology); Competition (biology); Track (disk drive); Field (mathematics); Test (biology); Software; Ranking (information retrieval)","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.00004694911,0.00006063237,0.00005519657,0.00006552545,0.00003637739,0.00003125752,0.00005003518,0.00002724738,0.0003069201],"category_scores_gemma":[0.00001795369,0.00006252049,0.00001590707,0.0002329251,0.000006152935,0.00008759685,0.00001185886,0.00004325291,0.00006371539],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002023145,"about_ca_system_score_gemma":0.000004057221,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002827714,"about_ca_topic_score_gemma":0.00000771027,"domain_scores_codex":[0.99968,0.000004101697,0.0001062442,0.00007269,0.00004590677,0.00009106603],"domain_scores_gemma":[0.999854,0.00003284482,0.000006498458,0.000078137,0.00001911767,0.000009396589],"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.000001853528,0.00001730239,0.001095416,0.0001748869,0.00002703579,0.000001199187,0.00002945541,0.86417,0.0002557387,0.05577038,0.031311,0.04714575],"study_design_scores_gemma":[0.0001656209,0.000005545523,0.003727144,0.00004127638,0.00001165089,1.000021e-7,0.00003878048,0.9837831,0.0002640371,0.0002349299,0.01163671,0.0000911016],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.008470211,0.00003112943,0.4029366,0.0001129099,0.0002285756,0.0001100222,5.535643e-7,0.0007587909,0.5873513],"genre_scores_gemma":[0.9654635,0.00002181716,0.02003884,0.0001498913,0.00004858113,0.00001127971,0.00002596784,0.000009812268,0.01423028],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9569933,"threshold_uncertainty_score":0.3360559,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009404722976219046,"score_gpt":0.2016146657191089,"score_spread":0.1922099427428898,"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."}}