{"id":"W4226254196","doi":"10.23919/acc53348.2022.9867253","title":"Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions","year":2022,"lang":"en","type":"article","venue":"2022 American Control Conference (ACC)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Lyapunov function; Soundness; Probabilistic logic; Lyapunov optimization; Robustness (evolution); Computer science; Dynamical systems theory; Control theory (sociology); Lyapunov redesign; Mathematical optimization; Robust control; Lyapunov equation; Control-Lyapunov function; Lyapunov stability; Control system; Mathematics; Lyapunov exponent; Control (management); Engineering; Nonlinear system; 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.005432737,0.001468834,0.0009301827,0.00161493,0.0006361688,0.001812014,0.001254739,0.001476493,0.003583911],"category_scores_gemma":[0.01845234,0.0007004287,0.002154305,0.0005985866,0.001990346,0.002273133,0.002388354,0.00243537,0.0006709337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001217589,"about_ca_system_score_gemma":0.003035299,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001444276,"about_ca_topic_score_gemma":0.001230713,"domain_scores_codex":[0.9961118,0.0008102061,0.0004250183,0.0006384429,0.001579948,0.0004346441],"domain_scores_gemma":[0.9845095,0.009470969,0.001817121,0.0007264687,0.003119106,0.0003567247],"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.0001512122,0.0001183515,0.001199699,0.0004755734,0.000094325,0.0005543026,0.0006062401,0.421435,0.02470648,0.5316571,0.001354737,0.01764709],"study_design_scores_gemma":[0.00007180894,0.0001834391,0.0004157368,0.0001038827,0.00004306332,0.0001362449,0.0001325349,0.8503276,0.01374194,0.1319765,0.002807455,0.00005984866],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01314364,0.000102375,0.9824525,0.0002060272,0.00002907948,0.00009697265,0.0001314075,0.0002284998,0.003609459],"genre_scores_gemma":[0.8673505,0.0003423887,0.1275676,0.0002007778,0.00006435907,0.001056439,0.0004773317,0.0001970857,0.002743614],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005432737,"threshold_uncertainty_score":0.02873141,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09211056549534345,"score_gpt":0.3022589371722201,"score_spread":0.2101483716768767,"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."}}