{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006507672,0.00143058,0.0008940592,0.00179714,0.001203564,0.003913125,0.00213837,0.002727078,0.004123594],"category_scores_gemma":[0.02198247,0.0007709516,0.001513718,0.001732047,0.0101387,0.009497068,0.003176718,0.005826938,0.0008127827],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003437544,"about_ca_system_score_gemma":0.001853342,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002918699,"about_ca_topic_score_gemma":0.001694473,"domain_scores_codex":[0.995387,0.001875547,0.0003258628,0.0006667929,0.001519927,0.0002248691],"domain_scores_gemma":[0.9869201,0.008885123,0.001031948,0.001825223,0.001007585,0.000330105],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001095713,0.00001130881,0.0002079657,0.00007031228,0.00001482072,0.000034151,0.0001202003,0.01463248,0.0001878024,0.9616217,0.001730298,0.02135787],"study_design_scores_gemma":[0.000005241533,0.00002594889,0.000157556,0.00009460479,0.00001299182,0.00006682445,0.00004106191,0.05675764,0.0004799129,0.9321238,0.01020803,0.00002638824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002001896,0.002288196,0.9851828,0.002566271,0.0001954606,0.00002500707,0.0000419853,0.0002256226,0.007472724],"genre_scores_gemma":[0.4957005,0.009885189,0.4783083,0.002368055,0.001773582,0.0003363092,0.0001617447,0.0004334039,0.01103288],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006507672,"threshold_uncertainty_score":0.03441626,"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."}}