乐胖代购免代理版

{"id":"https://openalex.org/W4393161189","doi":"https://doi.org/10.1609/aaai.v38i19.30148","title":"A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs","display_name":"A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs","publication_year":2024,"publication_date":"2024-03-24","ids":{"openalex":"https://openalex.org/W4393161189","doi":"https://doi.org/10.1609/aaai.v38i19.30148"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v38i19.30148","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/30148/32034","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/30148/32034","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084221298","display_name":"Mateo Perez","orcid":"https://orcid.org/0000-0003-4220-3212"},"institutions":[{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]},{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mateo Perez","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I2802236040","https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077549627","display_name":"Fabio Somenzi","orcid":"https://orcid.org/0000-0002-2085-2003"},"institutions":[{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]},{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fabio Somenzi","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I2802236040","https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020302140","display_name":"Ashutosh Trivedi","orcid":"https://orcid.org/0000-0001-9346-0126"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ashutosh Trivedi","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I188538660","https://openalex.org/I2802236040"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.884,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":1,"citation_normalized_percentile":{"value":0.999574,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":84,"max":93},"biblio":{"volume":"38","issue":"19","first_page":"21510","last_page":"21517"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.7291,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.7291,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.6401,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14025","display_name":"Educational Technology and Assessment","score":0.6392,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.6998477},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5578935},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48796505},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.14359507},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v38i19.30148","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/30148/32034","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2310.12248","pdf_url":"https://arxiv.org/pdf/2310.12248","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v38i19.30148","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/30148/32034","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","score":0.8,"id":"https://metadata.un.org/sdg/16"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":21,"referenced_works":["https://openalex.org/W107583932","https://openalex.org/W1498432697","https://openalex.org/W1556387789","https://openalex.org/W1748853391","https://openalex.org/W1792768639","https://openalex.org/W2145339207","https://openalex.org/W2161966552","https://openalex.org/W2257979135","https://openalex.org/W2462906003","https://openalex.org/W2605514557","https://openalex.org/W2943876157","https://openalex.org/W2950370525","https://openalex.org/W3021883687","https://openalex.org/W3090827750","https://openalex.org/W3208792968","https://openalex.org/W4214717370","https://openalex.org/W4283327580","https://openalex.org/W4312564465","https://openalex.org/W4320813994","https://openalex.org/W4366677748","https://openalex.org/W4384471509"],"related_works":["https://openalex.org/W4292947165","https://openalex.org/W3201655533","https://openalex.org/W3134442314","https://openalex.org/W3045121788","https://openalex.org/W3016395638","https://openalex.org/W2748952813","https://openalex.org/W2734192830","https://openalex.org/W238609530","https://openalex.org/W2051487156","https://openalex.org/W1636163329"],"abstract_inverted_index":{"Linear":[0],"temporal":[1],"logic":[2],"(LTL)":[3],"and":[4,90],"omega-regular":[5,34,69],"objectives---a":[6],"superset":[7],"of":[8,43,46,56,67,84],"LTL---have":[9],"seen":[10],"recent":[11],"use":[12],"as":[13],"a":[14,25,54,61,81],"way":[15],"to":[16,64],"express":[17],"non-Markovian":[18],"objectives":[19,35],"in":[20,36,71,86],"reinforcement":[21],"learning.":[22],"We":[23,74],"introduce":[24,50],"model-based":[26],"probably":[27],"approximately":[28],"correct":[29],"(PAC)":[30],"learning":[31],"algorithm":[32,78],"for":[33],"Markov":[37],"decision":[38],"processes":[39],"(MDPs).":[40],"As":[41],"part":[42],"the":[44,51,57,65,68,72,87],"development":[45],"our":[47,77,95],"algorithm,":[48],"we":[49],"epsilon-recurrence":[52],"time:":[53],"measure":[55],"speed":[58],"at":[59],"which":[60,93],"policy":[62],"converges":[63],"satisfaction":[66],"objective":[70],"limit.":[73],"prove":[75],"that":[76],"only":[79],"requires":[80],"polynomial":[82],"number":[83],"samples":[85],"relevant":[88],"parameters,":[89],"perform":[91],"experiments":[92],"confirm":[94],"theory.":[96]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4393161189","counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2024-12-07T23:14:55.447909","created_date":"2024-03-26"}