Pavel SURYNEK Academic Page

Pavel SURYNEK

Publications

Research

Teaching

CV
Qualification
Employment
Awards

Complete
DBLP
Semantic Scholar
Google Scholar

Profile
Robotics
Software
Grants
Reviewing
Invited
Service

RR1: Real Robot One
RR1 | revision 2
reLOC
boOX
Github
YouTube

Intro AI | BI-ZUM
AI Advanced | NI-UMI
Neurocomp | PI-NSV
Satisfiability | PI-SPL
Roboplan | PI-PRO

Student Awards
Supervising
Reviewing
Topics

News

List of All News

Page 5 of 48

16th Dec 2019

A tutorial on multi-agent path finding given at AI*IA 2019.

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 - MAPF^R, 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 MAPF^R 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 (N²-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...

Page 5 of 48

Copyright © 2015 - 2023 Pavel Surynek