{"id":"W4405599589","doi":"10.1109/lcsys.2024.3520152","title":"Signal Temporal Logic Planning With Time-Varying Robustness","year":2024,"lang":"en","type":"article","venue":"IEEE Control Systems Letters","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Robustness (evolution); Computer science; Temporal logic; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.0008267526,0.0006576818,0.0003227305,0.0004435714,0.000331147,0.001100734,0.0006662028,0.0005810388,0.003298403],"category_scores_gemma":[0.002631284,0.0002445063,0.0006613274,0.0004601315,0.0009897593,0.0009428617,0.0007502686,0.0007128005,0.000578286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007817775,"about_ca_system_score_gemma":0.001298102,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002790245,"about_ca_topic_score_gemma":0.001905977,"domain_scores_codex":[0.9991589,0.000184978,0.00005252036,0.0001749637,0.000343441,0.00008529321],"domain_scores_gemma":[0.9991191,0.0004339755,0.0001302241,0.0001195222,0.0001573258,0.0000398769],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002647766,0.00006337184,0.0005303373,0.0002562024,0.00003063994,0.0004070635,0.0002155287,0.7038829,0.02746182,0.1613482,0.001550349,0.1039888],"study_design_scores_gemma":[0.00003035461,0.0001470076,0.0001022166,0.00002309671,0.00001592463,0.00008972443,0.00002938464,0.9533782,0.01393113,0.02729714,0.004940856,0.00001500655],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01239484,0.00007603768,0.9818543,0.00008521585,0.00002176201,0.00005449415,0.00007326371,0.0007746589,0.004665322],"genre_scores_gemma":[0.6622527,0.000234528,0.3313237,0.0001326752,0.00002493795,0.0001747227,0.0002808381,0.0002146144,0.00536131],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003298403,"threshold_uncertainty_score":0.01103425,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02508726688903282,"score_gpt":0.2614701379124736,"score_spread":0.2363828710234408,"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."}}