Research output per year
Research output per year
Fingerprint
Dive into the research topics where Michal Šedý is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Article in proceeding
-
Automata Size Reduction by Procedure Finding
Šedý, M. & Holik, L., 8 Jun 2025, NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings. Dutle, A., Humphrey, L. & Titolo, L. (eds.). Springer, p. 421-440 20 p. (Lecture Notes in Computer Science, Vol. 15682).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review