Ing.

Michal Šedý

Ph.D. student


isedy@fit.vut.cz
213579/BUT personal ID

Publications

  • 2025

    ŠEDÝ, M.; HOLÍK, L. Automata Size Reduction by Procedure Finding. Proceedings of NFM'25. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Williamsburg: Springer Nature Switzerland AG, 2025. p. 421-440. ISSN: 0302-9743. Detail

Back to top