News


List of All News


8th Nov 2019
A paper from IROS 2019 on lazy path planning for multiple robots in the publication list.
30th Oct 2019
A new paper on SMT-based MAPF at the top tier robotic conference IROS 2019.
30th Oct 2019
Never ending stream of topics - MAPFR, multi-robot motion planning (MRMP), parallel solvers, and more....
22nd Oct 2019
Lazy compilation in classical plannig - a good topic for doctoral dissertation.
17th Oct 2019
Few more topics - visualization of MAPFR and cumulative optimization.
17th Oct 2019
BDD again in a new topic - variable ordering heuristics.
11th Oct 2019
Honored to give an invited talk at the 3rd IJCAI Workshop on Multi Agent Path Finding (WoMAPF 2019).
11th Oct 2019
Senior PC member in IJCAI-PRICAI 2020 + article reviewing for RA-L and JAIR.
11th Oct 2019
A paper on continuous MAPF fron the IJCAI workshop WoMAPF 2019 listed.
25th Sep 2019
Office hours for the new semester announced.
19th Sep 2019
A paper on unifying the SAT-based and search-based framework for MAPF presented at IJCAI 2019.
19th Sep 2019
New papers in the publications list (evacuation and artificial neural networks in the (N2-1)-puzzle).
23rd Jul 2019
Few more records in the publications list (SoCS 2019 - papers on continuous MAPF, SMT, and large robots).
23rd Jul 2019
Added new records to the publications list (SoCS 2019 proceedings, etc.).
7th Jul 2019
Started the 2019 list of publications - AAAI 2019, ICAART 2019, and arXiv are listed
17th Jun 2019
Continuing BibTex records in the publications list - 2016 and 2015 finished, more soon...
6th Jun 2019
Always good time for new topics - SAT solver and machine learning and k very disjoint paths.
5th Jun 2019
Honorable mention for Róbert Selvek and his bachelor thesis at SVOČ 2019.
4th Jun 2019
Continuing BibTex records in the publications list - 2017 finished, more soon...
25th May 2019
Leibniz edition of the boOX solver posted - implements MAPFR solving (continuous MAPF).