{"id":"W4416748915","doi":"10.1109/iros60139.2025.11247647","title":"Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications","year":2025,"lang":"en","type":"article","venue":"","topic":"Autonomous Vehicle Technology and Safety","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"CODE","keywords":"Reachability; Linear temporal logic; Temporal logic; Metric (unit); Collision avoidance; Extension (predicate logic); Collision; Control (management)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008171102,0.0001358295,0.0001466832,0.0001224006,0.0001509479,0.00001283391,0.000191214,0.0001455596,0.0001629224],"category_scores_gemma":[0.00001104827,0.0001135861,0.00003446472,0.0003000152,0.00007562395,0.00006999973,0.00003396507,0.0003169546,0.0001388516],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007557868,"about_ca_system_score_gemma":0.00004037438,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002271584,"about_ca_topic_score_gemma":0.0001776244,"domain_scores_codex":[0.9993695,0.00001162622,0.0001826509,0.0001804379,0.0000461211,0.0002096818],"domain_scores_gemma":[0.9995136,0.00004345561,0.0000263029,0.000356502,0.00002753001,0.00003257837],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003572516,0.0002604269,0.495211,0.0001319232,0.0006837351,0.00006563971,0.0005182756,0.1632457,0.0008365305,0.2523297,0.01107547,0.07560587],"study_design_scores_gemma":[0.001232119,0.0001439654,0.248007,0.00009152515,0.0001405841,0.00002956623,0.000800651,0.616156,0.009958712,0.008632418,0.1137498,0.001057638],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1739886,0.0001930274,0.7040929,0.001156232,0.0001949259,0.0003008837,0.00001190638,0.00504366,0.1150179],"genre_scores_gemma":[0.9850957,0.0000446458,0.01199668,0.00005417002,0.00002406622,0.00002340452,0.00001031793,0.00001669867,0.002734336],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8111072,"threshold_uncertainty_score":0.4631905,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01147133533542453,"score_gpt":0.2152134594113878,"score_spread":0.2037421240759633,"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."}}