Heuristic Universality Detection over Regular Expressions Specified by Systems

Florent Koechlin, Carine Pivoteau, Pablo Rotondo. Heuristic Universality Detection over Regular Expressions Specified by Systems. In Sang-Ki Ko, Florin Manea, editors, Developments in Language Theory - 29th International Conference, DLT 2025, Seoul, South Korea, August 19-22, 2025, Proceedings. Volume 16036 of Lecture Notes in Computer Science, pages 278-293, Springer, 2025. [doi]

Abstract

Abstract is missing.