Publications
-
2025
ŠEDý Michal and HOLíK Lukáš. Automata Size Reduction by Procedure Finding. In: Proceedings of NFM'25. Lecture Notes in Computer Science. Williamsburg: Springer Nature Switzerland AG, 2025, pp. 421-440. ISSN 0302-9743.
Detail -
2023
HOLíK Lukáš and ŠEDý Michal. Utilization of Repeating Substructures for Efficient Representation of Automata (Technical Report). Brno, 2023.
Detail