Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. - Zuzana Komárková; Jan Kretínský (ATVA, 2014)

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. - Krishnendu Chatterjee; Zuzana Kretínská; Jan Kretínský (Log. Methods Comput. Sci., 2017)