IAg Logo



The group focuses on various aspects of artificial intelligence with a special regard on intelligent decision making in single and multi-agent scenarios. Interests of members of the group include core algorithms for multi-agent path finding (MAPF) and its generalization towards real-life applications, multi-agent planning with focus on motion coordination, problem solving in robotics by the use of logical reasoning such as propositional satisfiability and satisfiability modulo theories (SMT). The fundamental philosophy of our research is to provide theoretical guarantees (time/space complexity, completeness, or reasoning proofs) for every concept being developed. The integration of non-local (global) reasoning and consideration of adversarial behaviour represent on-going challenges of the group.

The research of the group fully supports and is integrated with teaching activities within the bachelor and the master study programs of Knowledge Engineering at the Faculty of Information Technology (FIT), ČVUT. We provide supervision of all types of projects and theses in some of the themes from the still growing list of topics for inspiration.


Head of the group:


Doc. RNDr. Pavel Surynek, Ph.D.



Radka Bodnárová

     autonomous traffic

Vojtěch Cahlík

     puzzle solving

Zuzana Filová

     automated music processing

Dominik Kněžour

     sentiment analysis

Róbert Selvek

     evacuation algorithms

Zdenek Šimůnek

     adversarial reasoning

Tomáš Vlk

     search heuristics

Martin Zukal

     factored multi-agent path finding

Research Grants

GA-19-17966S: intALG-MAPFg: Intelligent Algorithms for Generalized Variants of Multi-agent Pathfinding, Czech Science Foundation, standard project, 2019-2021.

SGS17/210/OHK3/3T/18: Modern data-mining methods for advanced extraction of information from data, CTU Project, 2017-2019.

Academic Cooperation

Kobe University, Japan (artificial intelligence, robot navigation, distributed CSP), BGU - Ben Gurion University of the Negev, Israel (MAPF, heuristic search), USC - University of Southern California, USA (MAPF, robotics), Waseda University, Japan (graph theory), AIRC/AIST - Artificial Intelligence Resarch Center/National Institute of Advanced Industrial Science and Technology, Tokyo, Japan (robotics, artificial intelligence), NII - National Institute of Informatics, Tokyo, Japan, AIP/Riken, Tokyo, Japan, IBM Resarch, Ireland.