{"id":"W2787370237","doi":"10.1109/edis.2017.8284024","title":"Automotive safety verification under temporal failure of adaptive cruise control system using statistical model checking","year":2017,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Cruise control; Automotive industry; Computer science; Throttle; System safety; Control system; Reliability engineering; Probabilistic logic; Statistical model; Automaton; Intelligent transportation system; Control (management); Automotive engineering; Engineering; 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.0009340139,0.0001597011,0.0002894562,0.00007679674,0.0004083065,0.0001646732,0.0009553468,0.0001117136,0.0000050073],"category_scores_gemma":[0.0002309898,0.0001456616,0.00005685524,0.00008807829,0.0001864331,0.001124068,0.0001589437,0.0001448821,0.00000866671],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002562108,"about_ca_system_score_gemma":0.0001913704,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001726698,"about_ca_topic_score_gemma":0.000009127075,"domain_scores_codex":[0.998346,0.0001940358,0.0004562445,0.0004055179,0.0003602619,0.0002378843],"domain_scores_gemma":[0.9976789,0.00009629774,0.0005951314,0.001128245,0.0004140584,0.00008731157],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004817511,0.00003287125,0.000235971,0.00003497575,0.00002769321,0.000001528279,0.000313646,0.03225779,0.0020735,0.9631088,0.00001488638,0.001850116],"study_design_scores_gemma":[0.0004931892,0.00004543973,0.00691335,0.00006241388,0.00002112653,0.00000673156,0.0002519954,0.9864733,0.00298127,0.002588564,0.000006919975,0.0001557514],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003247008,0.000007764288,0.9934534,0.0001320754,0.0001975354,0.0003479824,0.00003206937,0.0001326358,0.002449523],"genre_scores_gemma":[0.5123301,3.311491e-7,0.4876021,0.00001658138,0.00001578592,0.000005909648,0.000001648437,0.000006264446,0.00002128287],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9605203,"threshold_uncertainty_score":0.5939909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07012594166175608,"score_gpt":0.3284062989232054,"score_spread":0.2582803572614494,"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."}}