Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 6 of 48

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).
24th May 2019
Zenon edition of the boOX solver posted - implements improved SMT-CBS.
9th May 2019
A paper on combining CBS and SAT in MAPF has been accepted to IJCAI 2019 (acceptance rate = 17.8%) - the best SAT-based approach to MAPF so far (SMT-based in fact).
29th Apr 2019
Started BibTex records in the publications list to enable easier citations - 2018 finished, more soon...
29th Apr 2019
Added some arXiv papers to the publications list.
20th Apr 2019
Article reviewing for IROS 2019 and Constraints.
18th Apr 2019
Update in the list of programme committee membership: ICAPS 2019, AAMAS 2019, and IJCAI 2019.
11th Apr 2019
Please check this new MAPF web - www.mapf.info - solely dedicated to multi-agent path finding.
4th Mar 2019
Results in Introduction to AI have been published on a password protected page.
1st Mar 2019
The list of supervised students updated.
20th Feb 2019
Office hours changed for the new semester.
12th Feb 2019
A new package of topics posted - kinematics, Voronoj, robotic Kung-Fu, and car configuration.
13th Jan 2019
Newer projects are on my github too: boOX and reLOC.
12th Jan 2019
Two older project posted on my github: vsat and sigmaSAT.
9th Dec 2018
The list of topics for theses is still growing - two more: resiliency and CDCLMAPF.
4th Dec 2018
One more topic - nice automated translation based on the existing translations of literature.
|<
<
>
>|

Page 6 of 48

Copyright © 2015 - 2023 Pavel Surynek