{"id":"W7124280466","doi":"10.65109/azkd1797","title":"Managing an Agent's Changing Intentions Using ltlf Synthesis","year":2025,"lang":"","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Exploit; Nondeterministic algorithm; Domain (mathematical analysis); Linear temporal logic; Temporal logic; Domain knowledge; Multi-agent system","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001891263,0.0008670915,0.0004622529,0.0005373086,0.0006333212,0.001741867,0.001678732,0.001072634,0.002851128],"category_scores_gemma":[0.006617743,0.0005063537,0.000877294,0.0003117884,0.001884711,0.001999689,0.001785127,0.001354959,0.0006307488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009903602,"about_ca_system_score_gemma":0.001899651,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003431547,"about_ca_topic_score_gemma":0.004477461,"domain_scores_codex":[0.9985607,0.0004102673,0.0001592178,0.0002912171,0.0004383195,0.0001402404],"domain_scores_gemma":[0.9951841,0.002666485,0.0004311017,0.001083605,0.0004941219,0.0001405082],"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.000535769,0.0003745057,0.004334224,0.0004971327,0.000124693,0.001006456,0.001971204,0.5912988,0.07122766,0.1441751,0.002095885,0.1823586],"study_design_scores_gemma":[0.00005778016,0.00009469887,0.0001395789,0.00004436068,0.00004301029,0.00009024749,0.0001036657,0.9154928,0.03451527,0.04413012,0.005258904,0.00002961553],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01795805,0.000055072,0.9768178,0.0001036065,0.00002443507,0.0001369475,0.00007524293,0.002405607,0.002423287],"genre_scores_gemma":[0.4950807,0.0001311542,0.5004559,0.0001227825,0.00001662621,0.0005461207,0.0002859418,0.0004274388,0.002933309],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003431547,"threshold_uncertainty_score":0.01000214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08121746610711375,"score_gpt":0.3566752332864925,"score_spread":0.2754577671793788,"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."}}