{"id":"W3126524491","doi":"","title":"Safe Swerve Maneuvers for Autonomous Driving.","year":2020,"lang":"en","type":"article","venue":"IV","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"RSS; Brake; Kinematics; Vehicle dynamics; Active safety; Computer science; Engineering; Simulation; Control (management); Automotive engineering; Control theory (sociology); 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.0009320545,0.000698757,0.0003414605,0.0004885799,0.0004606617,0.000825116,0.0009189844,0.0007810162,0.002557902],"category_scores_gemma":[0.005397344,0.0002952061,0.0008545894,0.0001587574,0.001665294,0.001456883,0.001516165,0.001204208,0.0004681884],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008048041,"about_ca_system_score_gemma":0.001275416,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002382697,"about_ca_topic_score_gemma":0.001854884,"domain_scores_codex":[0.998709,0.0002676432,0.00006696291,0.0002130158,0.0006087407,0.0001347736],"domain_scores_gemma":[0.9979178,0.0008758972,0.0004073117,0.0004252687,0.0002636982,0.0001100019],"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.0001208226,0.0000989317,0.004516294,0.0002447579,0.0000567805,0.0003851967,0.0005997908,0.5581583,0.01822814,0.3717203,0.001338361,0.04453227],"study_design_scores_gemma":[0.00001243673,0.0002046815,0.0009700689,0.00006749004,0.00002135335,0.0002133374,0.0001912322,0.8372777,0.006384027,0.1479131,0.006716428,0.00002825878],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03341671,0.0001602561,0.9592118,0.000104569,0.00004044257,0.00007675793,0.00008224407,0.0002994341,0.006607838],"genre_scores_gemma":[0.9263978,0.0001893123,0.0693988,0.000071535,0.00003033648,0.0001207435,0.00017861,0.0001099256,0.003502876],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002557902,"threshold_uncertainty_score":0.008557022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0494913159426132,"score_gpt":0.2938938334580404,"score_spread":0.2444025175154272,"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."}}