{"id":"W3099300391","doi":"","title":"Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties","year":2017,"lang":"en","type":"article","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Robustness (evolution); Computer science; Robust control; Linear system; Decidability; Nonlinear system; Control theory (sociology); Completeness (order theory); Abstraction; Algorithm; Mathematics; Control (management); Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00408906,0.001255356,0.0009256419,0.0008902446,0.0007172976,0.002312593,0.001776207,0.001292525,0.003482128],"category_scores_gemma":[0.01216289,0.0009724804,0.002945566,0.0006133398,0.003936413,0.004808313,0.003482493,0.004457592,0.000979221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001153075,"about_ca_system_score_gemma":0.002114591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001278697,"about_ca_topic_score_gemma":0.0009977852,"domain_scores_codex":[0.9956746,0.0009892653,0.0003654889,0.0007413403,0.001903361,0.0003260002],"domain_scores_gemma":[0.9914436,0.004337951,0.0007247245,0.002589239,0.0007724296,0.0001319626],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001004172,0.00007880908,0.0004650296,0.0004331493,0.0001049537,0.0002422562,0.0007211895,0.1943454,0.01137878,0.7434943,0.001473604,0.04716212],"study_design_scores_gemma":[0.00005575364,0.0001171488,0.0001486425,0.0001182914,0.00007489762,0.0001250809,0.00009825877,0.319869,0.0202719,0.6479903,0.01108367,0.00004710432],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003006967,0.0001011519,0.9948592,0.0001223713,0.00001382355,0.00004019448,0.00005077377,0.0003867516,0.00141877],"genre_scores_gemma":[0.3148726,0.0007221018,0.6789588,0.0002910722,0.0001133977,0.0006889523,0.0005945938,0.0006031793,0.003155325],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00408906,"threshold_uncertainty_score":0.02162528,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2178528798722542,"score_gpt":0.2265412514560197,"score_spread":0.008688371583765536,"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."}}