{"type":"ScholarlyArticle","title":"Minimization of Limit-Average Automata","authors":[{"name":"Jakub Michaliszyn","slug":"jakub-michaliszyn","given":"Jakub","family":"Michaliszyn","affiliation":""},{"name":"Jan Otop","slug":"jan-otop","given":"Jan","family":"Otop","affiliation":""}],"abstract":"LimAvg-automata are weighted automata over infinite words that aggregate weights along runs with the limit-average value function. \r\nIn this paper, we study the minimization problem for (deterministic) LimAvg-automata. \r\nOur main contribution is an equivalence relation on words characterizing LimAvg-automata, i.e., \r\nthe equivalence classes of this relation correspond to states of an equivalent LimAvg-automaton. \r\nIn contrast to relations characterizing DFA, our relation depends not only on the function defined by the target automaton, but also on its structure. \r\n\r\nWe show two applications of this relation. \r\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. \r\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.","doi":"10.24963/ijcai.2021/388","url":"https://ijcai.org/proceedings/2021/388","pdf":"https://ijcai.org/proceedings/2021/0388.pdf","markdown":"https://ijcai.org/proceedings/2021/388.md","bibtex":"https://ijcai.org/proceedings/2021/bibtex/388","volume":{"slug":"2021","title":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2021","url":"https://ijcai.org/proceedings/2021/","year":2021,"location":"Montreal","dates":"19-27 August 2021","editors":"Prof. Zhi-Hua Zhou","isbn":"978-0-9992411-9-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2021"},"section":"Machine Learning","track":"Main Track","number":388,"pages":{"first":2819,"last":2825},"keywords":["Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis","Machine Learning: Active Learning","Multidisciplinary Topics and Applications: Validation and Verification"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}