{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005741691,0.0001713688,0.0002532961,0.00009689292,0.001199115,0.000191896,0.001674877,0.0001080437,0.000009366241],"category_scores_gemma":[0.000415231,0.000174868,0.000157543,0.00009649101,0.0001790183,0.001419801,0.0001284295,0.00009479288,0.00003769173],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008719209,"about_ca_system_score_gemma":0.00006322303,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003652955,"about_ca_topic_score_gemma":0.00001223019,"domain_scores_codex":[0.9988058,0.00006731839,0.0002065794,0.0005352318,0.00006009106,0.0003250205],"domain_scores_gemma":[0.9977906,0.0002727449,0.0003328134,0.001145498,0.0003607176,0.00009762034],"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.0002965408,0.0001861804,0.000601857,0.0001515419,0.0001089617,0.000008481222,0.00006088326,0.8668163,0.002784623,0.1232057,0.0001446851,0.00563421],"study_design_scores_gemma":[0.0007304546,0.00006373092,0.001431146,0.00002690758,0.00006629209,0.00000462589,0.00002467749,0.9925669,0.00287667,0.001225223,0.0007408084,0.0002425095],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02610568,0.000008599638,0.9720539,0.0002168106,0.0003942279,0.0007454164,0.00002837356,0.0001632776,0.0002837343],"genre_scores_gemma":[0.8402681,0.000003421557,0.158828,0.0000310467,0.00008978926,0.00002843229,0.000002257969,0.00001511016,0.0007338175],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8141624,"threshold_uncertainty_score":0.9222742,"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."}}