{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001646714,0.001058819,0.0003550806,0.0005447917,0.000358862,0.001660843,0.001026009,0.0007098321,0.001932275],"category_scores_gemma":[0.004207173,0.0004631284,0.001090429,0.0003145129,0.0008348297,0.001136825,0.001170113,0.001171628,0.0003890451],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001069271,"about_ca_system_score_gemma":0.002384153,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005333103,"about_ca_topic_score_gemma":0.00640692,"domain_scores_codex":[0.9981154,0.0005688801,0.0001534085,0.0002680815,0.0006806565,0.0002135152],"domain_scores_gemma":[0.9974104,0.001519927,0.0003381385,0.0002096722,0.0004334569,0.00008843005],"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.0001293585,0.0001008825,0.0009570498,0.000250869,0.00004888772,0.0003873845,0.000292214,0.8826377,0.01370052,0.05468734,0.001167264,0.04564056],"study_design_scores_gemma":[0.00002226432,0.00006326173,0.00008308059,0.00002803937,0.00002661,0.00005205282,0.00004057877,0.9728478,0.005563442,0.01891741,0.002343849,0.00001161133],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02136576,0.0001435712,0.973375,0.0001557645,0.00002937302,0.0001335536,0.0001922024,0.001092893,0.003511961],"genre_scores_gemma":[0.6845151,0.0002922382,0.3109701,0.0001605752,0.00003181184,0.0003778755,0.0005330065,0.0003144025,0.002804887],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005333103,"threshold_uncertainty_score":0.01060408,"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."}}