{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008568546,0.0003005948,0.0009095774,0.0001677328,0.0002049752,0.0002419,0.0005732785,0.0001546735,0.00001834187],"category_scores_gemma":[0.0002932374,0.0002772506,0.0003273945,0.0003849824,0.00009989076,0.0006532416,0.000002936228,0.0001324333,0.00001242247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001688621,"about_ca_system_score_gemma":0.0004578333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002647066,"about_ca_topic_score_gemma":0.000006822059,"domain_scores_codex":[0.9971545,0.0005626004,0.0009315888,0.0005445433,0.0004396915,0.0003670388],"domain_scores_gemma":[0.9954966,0.002477545,0.0004201562,0.0009463868,0.0005573783,0.0001018986],"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.0005207896,0.001334027,4.893319e-7,0.0007189476,0.000950147,0.000004801825,0.001014367,0.9186758,0.01751117,0.01607719,0.0001779454,0.0430143],"study_design_scores_gemma":[0.006280715,0.0002340597,0.000009189511,0.0001342166,0.0002562648,0.00001794394,0.0003203316,0.9735464,0.01864098,0.0002885992,0.00002240504,0.0002488277],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008270025,0.00009356123,0.9874101,0.000166622,0.000701696,0.002472859,0.0002187557,0.0004598311,0.000206511],"genre_scores_gemma":[0.8104001,0.00000623354,0.186879,0.00003283819,0.00001419613,0.00250828,0.000002196287,0.00002307462,0.0001340752],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8021301,"threshold_uncertainty_score":0.999968,"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."}}