{"id":"W3182227832","doi":"10.1109/tac.2021.3094737","title":"Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata","year":2021,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"National Science Foundation of Sri Lanka; Natural Sciences and Engineering Research Council of Canada","keywords":"Automaton; Probabilistic logic; Computer science; Mathematical optimization; Probabilistic automaton; Mathematics; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.001467961,0.001338358,0.0007551814,0.0006915333,0.0003911764,0.0009393977,0.0007413967,0.0009564967,0.001333717],"category_scores_gemma":[0.004489003,0.0005580332,0.001180363,0.0003246122,0.001290028,0.0008965006,0.001373566,0.00111075,0.0001652259],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001332214,"about_ca_system_score_gemma":0.001688406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001917015,"about_ca_topic_score_gemma":0.00170088,"domain_scores_codex":[0.9989459,0.0002519198,0.00008238979,0.0002594804,0.0003091069,0.0001511642],"domain_scores_gemma":[0.9969748,0.001972674,0.0005253878,0.0001722621,0.000256729,0.00009812765],"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.00002778915,0.00002056141,0.0001933923,0.00005719735,0.00002130709,0.00004536872,0.00005359473,0.9722651,0.003339244,0.01783272,0.000075576,0.006068157],"study_design_scores_gemma":[0.0000108533,0.00004422285,0.00004829255,0.000008825175,0.000008637569,0.000008391802,0.00001179035,0.9900196,0.001344964,0.008241441,0.0002482418,0.000004791863],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04407236,0.0001502829,0.9521295,0.0001772959,0.00002708656,0.0000931204,0.00005046421,0.0002186716,0.003081067],"genre_scores_gemma":[0.8715272,0.00017082,0.1262811,0.00006118255,0.00001552808,0.0002615637,0.00007509178,0.00007096697,0.00153644],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001917015,"threshold_uncertainty_score":0.009665906,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02639574428646195,"score_gpt":0.2915295002899989,"score_spread":0.2651337560035369,"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."}}