{"id":"W4414117888","doi":"10.1109/ccta53793.2025.11151389","title":"Drive-by-Logic: Trajectory Generation for Nonholonomic Ground Robots with Signal Temporal Logic Objectives","year":2025,"lang":"en","type":"article","venue":"","topic":"Robotic Path Planning Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Robot; Kinematics; Trajectory; Nonholonomic system; Construct (python library); Control theory (sociology); Mobile robot; Robotics","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.0003017644,0.0002153087,0.0002390212,0.0001477557,0.0002462947,0.0002207766,0.000591888,0.00009781533,0.000007653711],"category_scores_gemma":[0.00001997221,0.0001666245,0.00006312311,0.0002937729,0.00007987623,0.0004579595,0.00008417722,0.0001220531,0.00001313139],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001288261,"about_ca_system_score_gemma":0.0002146261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006408279,"about_ca_topic_score_gemma":0.0000212138,"domain_scores_codex":[0.9985068,0.00008290608,0.0002409767,0.0006633846,0.0001601053,0.000345793],"domain_scores_gemma":[0.9992102,0.0001569193,0.0001007072,0.0003677915,0.00009683529,0.00006756798],"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.0002985495,0.001462611,0.02003616,0.0001884737,0.0007572552,0.0001378127,0.003651122,0.4347458,0.1451101,0.2342322,0.09735138,0.06202852],"study_design_scores_gemma":[0.001305939,0.0007996288,0.007337883,0.00003317068,0.00002565171,0.00002309897,0.00008020386,0.9786004,0.006124914,0.004921677,0.0002710598,0.0004763194],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01237178,0.0001400569,0.9837095,0.0007026931,0.0003950728,0.0004783142,0.000005019635,0.0002595658,0.001938038],"genre_scores_gemma":[0.3994076,0.000002173966,0.59744,0.0006977155,0.00009897391,0.00009417777,0.00002741309,0.00000915738,0.002222831],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5438547,"threshold_uncertainty_score":0.6794751,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0278774179124322,"score_gpt":0.2694409622294261,"score_spread":0.2415635443169939,"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."}}