{"id":"W2965773389","doi":"10.24963/ijcai.2019/767","title":"Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals","year":2019,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Vector Institute; University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Observable; Linear temporal logic; Computer science; Mathematical proof; Task (project management); Frame (networking); Selection (genetic algorithm); Mathematical optimization; Theoretical computer science; Algorithm; Mathematics; Artificial intelligence","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000316118,0.0001066148,0.0001337403,0.00004677828,0.00006613553,0.0001686069,0.000413953,0.00003991099,0.00002568321],"category_scores_gemma":[0.000019677,0.0000823849,0.00001289169,0.0001323232,0.00003120671,0.000670394,0.000141896,0.00008870371,0.00009592741],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001873648,"about_ca_system_score_gemma":0.00004231344,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001546464,"about_ca_topic_score_gemma":0.000001126119,"domain_scores_codex":[0.9991103,0.00003455479,0.0001434966,0.0003114385,0.0001745074,0.000225696],"domain_scores_gemma":[0.9992487,0.00007756289,0.00007462498,0.0004967327,0.00003503422,0.0000672774],"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.0001692473,0.000164826,0.2747336,0.0004916074,0.0001034597,0.00008097534,0.005429707,0.005539991,0.01961127,0.5972658,0.001078048,0.09533153],"study_design_scores_gemma":[0.0007688548,0.0008564169,0.1513612,0.0001185169,0.00001154255,0.00008082324,0.0002702799,0.8361397,0.006306467,0.001136356,0.002463513,0.0004863241],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3033752,0.00001996066,0.6759699,0.00004756235,0.0001534987,0.0001654686,5.06353e-7,0.00008711183,0.02018084],"genre_scores_gemma":[0.4997958,9.013119e-7,0.4990272,0.00008643019,0.00001351202,0.000006676553,5.794304e-7,0.000005233759,0.001063647],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8305997,"threshold_uncertainty_score":0.3359559,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02257807031552342,"score_gpt":0.274203394166241,"score_spread":0.2516253238507175,"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."}}