Publications

Publications by categories in reversed chronological order.

2026

  1. Re3ver: Reverse and Verify (Competition Contribution)
    Adéla Štěpková, Martin Jonáš, and Jan Strejček
    In Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, 2026
    DOI

2025

  1. On Complementation of Nondeterministic Finite Automata Without Full Determinization
    Lukáš Holík, Ondřej Lengál, Juraj Major, and 2 more authors
    In Fundamentals of Computation Theory - 25th International Symposium, FCT 2025, Wrocław, Poland, September 15-17, 2025, Proceedings, 2025
    DOI