{"id":"W2579521186","doi":"","title":"Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).","year":2016,"lang":"en","type":"article","venue":"International Joint Conference on Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; 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.0008337682,0.0002504274,0.0002175007,0.0001831145,0.0004266116,0.0003931407,0.0008901944,0.0000680935,0.00006015353],"category_scores_gemma":[0.0004788684,0.0001542775,0.00006224478,0.0001297896,0.0002351898,0.0003412493,0.0001900276,0.0002470479,0.00009394298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006618978,"about_ca_system_score_gemma":0.0001879937,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001663258,"about_ca_topic_score_gemma":0.00001159457,"domain_scores_codex":[0.998108,0.00009445539,0.000436764,0.0005689213,0.0004455943,0.0003462261],"domain_scores_gemma":[0.9969925,0.001817595,0.0003223002,0.0003693031,0.0003857925,0.0001125397],"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.000782667,0.0001698692,0.001256941,0.00004840209,0.0001642511,0.0001133206,0.004382245,0.003695969,0.01178104,0.5489087,0.001166279,0.4275303],"study_design_scores_gemma":[0.0006099559,0.001928342,0.002998079,0.002854058,0.00003723237,0.00007997967,0.001396724,0.8383015,0.02014294,0.1197831,0.01068244,0.00118565],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0178256,0.00001898239,0.9669334,0.01201458,0.0005613764,0.0003396542,0.00004237338,0.0001144287,0.002149611],"genre_scores_gemma":[0.9854339,0.00001056144,0.0132252,0.0008287758,0.0001293973,0.00006120164,0.000009992144,0.00001496501,0.0002859492],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9676083,"threshold_uncertainty_score":0.6291254,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1005374627704798,"score_gpt":0.311975726419039,"score_spread":0.2114382636485592,"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."}}