{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003514313,0.0008057522,0.0008518387,0.0006356779,0.0004647246,0.001145631,0.001277036,0.0008189888,0.001303402],"category_scores_gemma":[0.01346144,0.0005698837,0.001269916,0.000307284,0.002330257,0.00223887,0.002256377,0.001821209,0.0002114641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001093931,"about_ca_system_score_gemma":0.001546861,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001121104,"about_ca_topic_score_gemma":0.001041078,"domain_scores_codex":[0.9964994,0.0009564901,0.0001927004,0.0006616068,0.001413944,0.0002758621],"domain_scores_gemma":[0.9932916,0.003944936,0.0006941378,0.001427445,0.0005525503,0.00008938843],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008737249,0.00003336029,0.0006439935,0.0001327346,0.00003677557,0.00007655292,0.0002282329,0.7101656,0.009061762,0.2494402,0.0002956002,0.02979778],"study_design_scores_gemma":[0.00001496014,0.00004838906,0.00008338902,0.00001402337,0.0000107479,0.00002603986,0.00001199644,0.9108505,0.006477631,0.0811829,0.001268654,0.00001072355],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009669255,0.00004698905,0.9893346,0.00005363893,0.00001202956,0.00002199078,0.00001190675,0.0002034071,0.0006462068],"genre_scores_gemma":[0.7508069,0.0001539533,0.2476257,0.00009265992,0.00003161428,0.0001450152,0.0000940023,0.0001390492,0.0009112302],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003514313,"threshold_uncertainty_score":0.01858574,"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."}}