{"id":"W4289823579","doi":"10.1109/tac.2022.3195381","title":"On Optimizing the Conditional Value-at-Risk of a Maximum Cost for Risk-Averse Safety Analysis","year":2022,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Risk and Portfolio Optimization","field":"Decision Sciences","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"CVAR; Mathematical optimization; Markov decision process; State space; Computer science; Dynamic programming; Constraint (computer-aided design); Markov process; Mathematics; Risk management; Expected shortfall; Statistics","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":["sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.003647709,0.0002112258,0.0005559605,0.0007483445,0.001838765,0.00007981153,0.0005396066,0.000063152,0.004782163],"category_scores_gemma":[0.0003395834,0.0001494872,0.0008621077,0.001676282,0.0001232823,0.0001325264,0.000004477013,0.0002620013,0.00006309115],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002107224,"about_ca_system_score_gemma":0.0001258245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001088087,"about_ca_topic_score_gemma":0.00009647557,"domain_scores_codex":[0.9956809,0.001012104,0.001048449,0.0004539223,0.001532216,0.0002723711],"domain_scores_gemma":[0.9900546,0.007863936,0.0009720227,0.0007775113,0.0002338234,0.00009809729],"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.0005080335,0.000220195,0.0001436382,0.000001839579,0.0007762298,0.000001417483,0.0004682379,0.968674,0.00001993316,0.000388011,0.001016546,0.02778189],"study_design_scores_gemma":[0.002838909,0.0002822907,0.001491514,0.000004097481,0.001813987,0.000006727209,0.0006200455,0.9851215,0.0001301901,0.005112506,0.002417103,0.0001611712],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02190133,0.00001798358,0.96972,0.0006158838,0.0005677619,0.001281269,0.005386499,0.00007096938,0.0004382917],"genre_scores_gemma":[0.9953475,0.00005763636,0.002669678,0.0003464794,0.00001965095,0.000554463,0.00004214733,0.0000192735,0.0009431634],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9734462,"threshold_uncertainty_score":0.9994607,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02447088089706665,"score_gpt":0.3034779642795256,"score_spread":0.2790070833824589,"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."}}