Runzhe Ma, Cong Tian 0001, Wensheng Wang, Zhenhua Duan. Upper Bound for the Determinization of Emerson-Lei Automata: A One-Fin Approach. In Eva Darulova, Anthony W. Lin, Philipp Rümmer, editors, Computer Aided Verification - 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II. Volume 16683 of Lecture Notes in Computer Science, pages 284-306, Springer, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.