by Petr Volny, David Novák, Pavel Zezula, September 2011, 29 pages.
FIMU-RS-2011-04. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.
FIMU-RS-2011-03. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.
FIMU-RS-2011-02. Abstract, Postscript, PDF.
by Radek Pelánek, A full version of a paper presented at the 24th Florida Artificial Intelligence Research Society Conference January 2011, 21 pages.
FIMU-RS-2011-01. Abstract, Postscript, PDF.