Reversing Programs for Error Reachability Analysis. - Adéla Stepková (ISSTA Companion, 2025)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report). - Lukás Holík; Ondrej Lengál; Juraj Major; Adéla Stepková; Jan Strejcek (CoRR, 2025)