{"id":"W3027230419","doi":"10.1007/978-3-030-48077-6_28","title":"An Event-B Model of an Automotive Adaptive Exterior Light System","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Visibility; Context (archaeology); Event (particle physics); Controller (irrigation); Key (lock); Point (geometry); Actuator; Real-time computing; Simulation; Artificial intelligence; Computer security; Mathematics","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.0003423381,0.0006636825,0.0003936947,0.0004871053,0.0005077036,0.001958718,0.00116462,0.001470544,0.01199852],"category_scores_gemma":[0.0005104554,0.0003377593,0.0007476025,0.0002707653,0.0008606574,0.001135178,0.0008742932,0.0008791261,0.001495161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009935796,"about_ca_system_score_gemma":0.0009167735,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01321742,"about_ca_topic_score_gemma":0.00639458,"domain_scores_codex":[0.9997125,0.00006032829,0.000018199,0.00007309351,0.00009333133,0.00004246711],"domain_scores_gemma":[0.9997886,0.00008366683,0.00002853987,0.00002916022,0.00004972247,0.00002038712],"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.0004019293,0.0001271417,0.0008582516,0.0001941823,0.00004989545,0.001031483,0.0004232693,0.5106331,0.02101438,0.4502911,0.00240091,0.01257423],"study_design_scores_gemma":[0.0001109763,0.00009841334,0.0002987751,0.00003536884,0.00003337391,0.0001057077,0.00008376769,0.8986782,0.003958891,0.08471708,0.01185249,0.00002692031],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04653805,0.0002797279,0.8958379,0.0007218177,0.0001209874,0.0002444759,0.001234937,0.002395372,0.0526267],"genre_scores_gemma":[0.8882357,0.0003600474,0.07637653,0.000244588,0.00003953345,0.0004150616,0.0008687313,0.0002217113,0.03323817],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01321742,"threshold_uncertainty_score":0.04013908,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03066390509838676,"score_gpt":0.2779981820092014,"score_spread":0.2473342769108146,"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."}}