{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T23:35:24Z","timestamp":1762040124722,"version":"build-2065373602"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,8]]},"abstract":"<jats:p>LimAvg-automata are weighted automata over infinite words that aggregate weights along runs with the limit-average value function.\n\nIn this paper, we study the minimization problem for (deterministic) LimAvg-automata.\n\nOur main contribution is an equivalence relation on words characterizing LimAvg-automata, i.e.,\n\nthe equivalence classes of this relation correspond to states of an equivalent LimAvg-automaton.\n\nIn contrast to relations characterizing DFA, our relation depends not only on the function defined by the target automaton, but also on its structure.\n\n\n\nWe show two applications of this relation.\n\nFirst, we present a minimization algorithm for LimAvg-automata, which returns a minimal LimAvg-automaton among those equivalent and structurally similar to the input one.\n\nSecond, we present an extension of Angluin's L^*-algorithm with syntactic queries, which learns in polynomial time a LimAvg-automaton equivalent to the target one.<\/jats:p>","DOI":"10.24963\/ijcai.2021\/388","type":"proceedings-article","created":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:00:49Z","timestamp":1628679649000},"page":"2819-2825","source":"Crossref","is-referenced-by-count":3,"title":["Minimization of Limit-Average Automata"],"prefix":"10.24963","author":[{"given":"Jakub","family":"Michaliszyn","sequence":"first","affiliation":[{"name":"University of Wroclaw"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Otop","sequence":"additional","affiliation":[{"name":"University of Wroc\u0142aw"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"30","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2021","name":"Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}","start":{"date-parts":[[2021,8,19]]},"theme":"Artificial Intelligence","location":"Montreal, Canada","end":{"date-parts":[[2021,8,27]]}},"container-title":["Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:03:00Z","timestamp":1628679780000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2021\/388"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2021\/388","relation":{},"subject":[],"published":{"date-parts":[[2021,8]]}}}