Petr Švarný

#793865

AI, temporal logics and gamessites.google.com/site/svarnypetr/