{"id":"W4407950102","doi":"10.1109/cdc56724.2024.10886233","title":"Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability","year":2024,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"VINNOVA","keywords":"Reachability; Computer science; Temporal logic; Theoretical computer science","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.0005024907,0.0001742875,0.0003028797,0.0001100173,0.00009100671,0.000128622,0.0004280542,0.00007681571,0.00009374174],"category_scores_gemma":[0.00002919128,0.0001267907,0.00009824464,0.00033943,0.0002243862,0.0002398908,0.0002017955,0.0001223958,0.00004534856],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003450959,"about_ca_system_score_gemma":0.00003838603,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005379441,"about_ca_topic_score_gemma":0.0003098911,"domain_scores_codex":[0.9986167,0.0001121236,0.0003243886,0.0005035052,0.0002076872,0.0002356219],"domain_scores_gemma":[0.999165,0.0001763469,0.0000604439,0.0004346113,0.00008394057,0.00007966191],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003759869,0.0004291319,0.0233622,0.0004496128,0.0000918517,0.00004510461,0.006273067,0.00001808256,0.02975363,0.8675154,0.007925662,0.06409863],"study_design_scores_gemma":[0.0009198801,0.0008237669,0.1749539,0.0001268843,0.0000362939,0.0001656156,0.0002010294,0.6887652,0.002332381,0.09357528,0.03741447,0.0006853697],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1417315,0.001205861,0.8074352,0.0007880001,0.0005284994,0.0003777348,0.00001404258,0.000695187,0.04722391],"genre_scores_gemma":[0.9841201,0.00001562338,0.01510066,0.0001330841,0.00005303961,0.000006714129,0.00001147085,0.000006898595,0.0005523643],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8423886,"threshold_uncertainty_score":0.5170373,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03323454111551459,"score_gpt":0.2719200633502986,"score_spread":0.238685522234784,"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."}}