{"id":"W4315471929","doi":"10.1109/cdc51059.2022.9992723","title":"Correct-by-Design Control of Parametric Stochastic Systems","year":2022,"lang":"en","type":"article","venue":"2022 IEEE 61st Conference on Decision and Control (CDC)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council; HORIZON EUROPE Framework Programme; CODE","keywords":"Computer science; Parametric statistics; Parameterized complexity; Nonlinear system; Closeness; Set (abstract data type); Mathematical optimization; Mathematics; Algorithm","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002433892,0.0002975156,0.0006627382,0.000491676,0.0003673526,0.0002376715,0.001372,0.00009964569,0.0001478371],"category_scores_gemma":[0.0007145359,0.0002760597,0.0001093048,0.001021307,0.0001089079,0.0002822603,0.0001505055,0.0004655216,0.0000400079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001165878,"about_ca_system_score_gemma":0.0001841386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004732599,"about_ca_topic_score_gemma":9.236824e-7,"domain_scores_codex":[0.9958181,0.001090628,0.0007561324,0.0007455142,0.001178012,0.0004115678],"domain_scores_gemma":[0.9959002,0.002142708,0.0005305607,0.0009606249,0.0002633478,0.0002026231],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002728278,0.0008836603,0.0001387333,0.00005173667,0.0001965885,0.00003610753,0.0006208168,0.08780545,0.02402334,0.2309384,0.01127205,0.6413049],"study_design_scores_gemma":[0.003565515,0.001368454,0.000205584,0.0000378289,0.0000340792,0.00003749094,0.0001870266,0.9896156,0.0003131203,0.002680291,0.00162714,0.0003279363],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003258898,0.0009727953,0.9917132,0.0001838025,0.002314871,0.001002856,0.00009516384,0.0001025718,0.0003558622],"genre_scores_gemma":[0.9905738,0.00006341913,0.008245449,0.0004078059,0.00003527087,0.000361554,0.000003368567,0.0000188545,0.0002905053],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9873149,"threshold_uncertainty_score":0.9999692,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03962984599292955,"score_gpt":0.2784861262060698,"score_spread":0.2388562802131403,"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."}}