Michal Sedý

Orcid: 0009-0004-0091-0546

According to our database¹, Michal Sedý authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

String Solving with Stabilization and Transducers (Technical Report).

[DOI]

CoRR, May, 2026

2025

Automata Size Reduction by Procedure Finding.

[DOI]

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025