{"id":"W2746967387","doi":"10.1007/978-3-319-66176-6_10","title":"Intertwined Global Optimization Based Reachability Analysis","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Probabilistic and Robust Engineering Design","field":"Decision Sciences","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Reachability; Computer science; Bounding overwatch; Hybrid system; Parametric statistics; Mathematical optimization; Algorithm; Theoretical computer science; Mathematics; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004195182,0.0004346839,0.000835738,0.001001239,0.0003111766,0.0008945874,0.003665058,0.0003589242,0.0002208176],"category_scores_gemma":[0.005078027,0.0003220678,0.0003151137,0.001089828,0.001085136,0.0003295233,0.0005823314,0.0004124687,0.00003931886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004964385,"about_ca_system_score_gemma":0.0006543346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004910298,"about_ca_topic_score_gemma":0.0001534311,"domain_scores_codex":[0.9949904,0.00007117624,0.0008256519,0.001723201,0.001949324,0.0004402279],"domain_scores_gemma":[0.9944286,0.001362339,0.0005166424,0.002714368,0.0007825951,0.0001954951],"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.00001047766,0.00001851954,0.0003915293,0.00000574153,0.00002268969,0.00001385627,0.0000373794,0.8985425,0.000001048619,0.0007538632,0.00002488681,0.1001775],"study_design_scores_gemma":[0.0001585467,0.00005756175,0.0005039759,0.00006842346,0.00006835546,0.000003701685,7.284798e-8,0.9137819,0.00001030508,0.0846672,0.0003534983,0.0003263911],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001048512,0.00008941102,0.9903991,0.0005278378,0.001186528,0.0002629753,0.00003060036,0.00008329005,0.007409795],"genre_scores_gemma":[0.4169524,0.000004483176,0.5812221,0.00045508,0.0003239379,0.000007178803,0.00002166635,0.00002199208,0.0009912442],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4169419,"threshold_uncertainty_score":0.9999231,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05246711387970485,"score_gpt":0.3199695496392576,"score_spread":0.2675024357595527,"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."}}