{"id":"W2964131705","doi":"10.3182/20110828-6-it-1002.02287","title":"LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees","year":2016,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Markov decision process; Probabilistic logic; Linear temporal logic; Task (project management); Computer science; Set (abstract data type); Mathematical optimization; Markov process; Robot; Temporal logic; Mathematics; Theoretical computer science; Artificial intelligence; Engineering","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.00262432,0.0008374111,0.0009228218,0.0005328138,0.0006217734,0.001632191,0.001471735,0.0009388328,0.002288664],"category_scores_gemma":[0.0111042,0.0005859846,0.0007389396,0.0006446965,0.002111219,0.00171438,0.001944826,0.001458558,0.0003045442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001704648,"about_ca_system_score_gemma":0.001810715,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005345666,"about_ca_topic_score_gemma":0.004842194,"domain_scores_codex":[0.9973236,0.0008256593,0.0001465744,0.0004272304,0.0009384828,0.0003384598],"domain_scores_gemma":[0.9912738,0.006380365,0.0009523049,0.0005637978,0.0006172083,0.0002124952],"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.0001004127,0.00003897896,0.0003072885,0.00004681362,0.00002350005,0.0001352149,0.00008945122,0.9634681,0.001912011,0.02411086,0.000353683,0.009413624],"study_design_scores_gemma":[0.00001611778,0.00001479641,0.00002804549,0.000005095164,0.000004625002,0.000008717534,0.000006255968,0.9855985,0.0006771561,0.01345949,0.0001780795,0.000003139681],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02424348,0.00006551169,0.9726275,0.0002658732,0.00001714119,0.00006038984,0.00006496735,0.000724993,0.001930173],"genre_scores_gemma":[0.8898281,0.00007817472,0.1079266,0.0001803316,0.00002582336,0.0002240546,0.0001190293,0.0001465079,0.001471395],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005345666,"threshold_uncertainty_score":0.01387888,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01470721378894593,"score_gpt":0.2447953921505469,"score_spread":0.230088178361601,"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."}}