Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. Yong Li, Sven Schewe, and Moshe Y. Vardi. Theoretical Computer Science 1006:114650, TCS24, 2024. vetsseditor22026-03-12T14:02:50+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Efficient Inference of Sources and Targets in a Graph with Limited Observations. Efficient Inference of Sources and Targets in a Graph with Limited Observations. Omega-Regular Decision Processes. Omega-Regular Decision Processes. Mining minimal separating DFAs from labelled samples. Mining minimal separating DFAs from labelled samples. Omega-Regular Decision Processes. Omega-Regular Decision Processes.
by