{"id":"W4413156306","doi":"10.1109/mcs.2025.3577050","title":"Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification [Focus on Education]","year":2025,"lang":"en","type":"article","venue":"IEEE Control Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Robotics; Focus (optics); Artificial intelligence; Control (management); Computer science; Risk analysis (engineering); Engineering; Psychology; Robot; Business; Physics","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.002082788,0.0002300471,0.0003993775,0.0003825915,0.0002136102,0.0003095272,0.0006336046,0.0001736705,4.507004e-7],"category_scores_gemma":[0.0006429337,0.0002109885,0.00005522513,0.000439504,0.00006112499,0.000393157,0.00002168772,0.0003467023,0.00002835197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002162887,"about_ca_system_score_gemma":0.000240322,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007744938,"about_ca_topic_score_gemma":0.00002603329,"domain_scores_codex":[0.9969807,0.001191361,0.0006091069,0.0005813253,0.0003343904,0.0003031542],"domain_scores_gemma":[0.9977779,0.0004901066,0.0005101175,0.0008924988,0.0002374543,0.00009191746],"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.0004724383,0.0005939497,0.1745989,0.0002401611,0.0003083122,0.000008770144,0.002089089,0.3195359,0.002500223,0.3069993,0.004432956,0.18822],"study_design_scores_gemma":[0.003219979,0.0001674008,0.1084477,0.0003975472,0.00007167515,0.000007790242,0.0002280564,0.8797979,0.0003646442,0.003457819,0.003457326,0.0003821576],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009818897,0.002712302,0.9813091,0.0003862434,0.002937042,0.001102264,0.00002239226,0.0001702324,0.001541591],"genre_scores_gemma":[0.9934359,0.00009299538,0.00561017,0.0001585737,0.0001599773,0.0003368756,0.000001973235,0.00001277656,0.0001907991],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9836169,"threshold_uncertainty_score":0.8603862,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01674097524047581,"score_gpt":0.2841376897032842,"score_spread":0.2673967144628084,"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."}}