{"id":"W2604825101","doi":"10.1609/aaai.v31i1.11058","title":"Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces","year":2017,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":75,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Linear temporal logic; Planner; Domain (mathematical analysis); Observable; Computer science; Automaton; Finite-state machine; State (computer science); Theoretical computer science; Finite state; Point (geometry); Mathematics; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002560872,0.0006368458,0.0004946926,0.0004554509,0.0006305322,0.001838801,0.001295107,0.0009217976,0.00214094],"category_scores_gemma":[0.01073633,0.0004680239,0.0009586132,0.0007471108,0.002392897,0.003391865,0.001738965,0.002061177,0.0003816032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001372261,"about_ca_system_score_gemma":0.002930711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004723975,"about_ca_topic_score_gemma":0.007581566,"domain_scores_codex":[0.997946,0.0008778201,0.0001726932,0.0002676999,0.0005625825,0.0001731959],"domain_scores_gemma":[0.9903775,0.006734222,0.0006762336,0.001388218,0.0006120417,0.0002118159],"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.0003166493,0.0001532469,0.001609928,0.0003310712,0.00006383241,0.0004606974,0.0007561791,0.5972098,0.008103204,0.3018727,0.001681812,0.08744086],"study_design_scores_gemma":[0.00005379695,0.00007802524,0.0001738547,0.00005406248,0.00002870602,0.00007851078,0.0001135195,0.8042516,0.008249309,0.1826266,0.004271241,0.00002093724],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02970073,0.0001889221,0.9634127,0.0004316398,0.00003308006,0.0001053621,0.0001604427,0.001227019,0.004740089],"genre_scores_gemma":[0.4930191,0.0002916458,0.5025833,0.0002345331,0.00002862721,0.0003281333,0.00046364,0.0003454864,0.002705446],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004723975,"threshold_uncertainty_score":0.01354331,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07026156845158368,"score_gpt":0.3090788379014295,"score_spread":0.2388172694498459,"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."}}