List of All News

29th Dec 2021
A new standard Czech Science Foundation (GAR) project awarded (logicMOVE).
29th Dec 2021
Co-chairing Doctoral Consortium of the 15th Annual Symposium on Combinatorial Search (SoCS 2022) together with Andrea Micheli.
18th Dec 2021
New theses under my supervision listed (2x MSc., 3x Bc.).
19th Nov 2021
A new topic for engineers and visionaries: Multi-head 3D Printer.
18th Nov 2021
New topics for gamers: Planning for RTS and Tactical Planning.
20th Oct 2021
Our paper "Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach" has been accepted to JAIR, joint work with Roni Stern, Eli Boyarski, and Ariel Felner.
22nd Sep 2021
Office hours for the new winter semester announced.
13th Aug 2021
2nd part of my interview for the Bu FIT magazine (= Be FIT).
26th Jul 2021
1st part of my interview for the Bu FIT magazine (= Be FIT).
10th Jul 2021
New topics again: Screen Hockey, Crazy MAPF, and Automated Gearbox Design.
15th Jun 2021
An interview for TV9 on AI for robotic planning is on Youtube.
26th May 2021
Congratulations on the 1st place of my student Jn Chud in the SVO 2021 competition.
23rd May 2021
Few new topics posted: Curved MAPF, MAPF Spy, and Collective Construction via SAT/SMT.
11th May 2021
Always a good time for a new topic: Swarm Alert!.
12th Mar 2021
New records in the publications list (IROS 2020, PRIMA 2020, 2x ICTAI 2020, and 2x SMC 2020).
4th Mar 2021
Recently defended theses under my supervision listed (2x MSc., 5x Bc.).
14th Feb 2021
New topics on posted: Motion Capture System and Multi-robot Localization.
13th Feb 2021
Recent reviewing for journals listed (IEEE Access, IEEE Transactions on Computers).
30th Jan 2021
The Intelligent Agents Research Group: new members and new topics.
30th Jan 2021
Happy to supervise new students on various artificial intelligence topics.