Charles University / Goethe University / Masaryk University / /
IndustryTerm
model checking algorithm / well known algorithms / polynomial time algorithm / /
MusicGroup
U2 / /
Organization
Institute for Informatics / Masaryk University / Charles University / Goethe University / Frankfurt / Faculty of Informatics / Institute for Theoretical Computer Science / /
Person
Petr Hlin / Jan Obdr / Jaroslav Ne / /
PublishedMedium
Theoretical Computer Science / /
Technology
FPT algorithm / well known algorithms / polynomial time algorithm / faster MSO1 model checking algorithm / MSO1 model checking algorithm / model checking algorithm / /