Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 1 of 45

12th May 2020
Almost everything is possible by using SAT: SMT-CBSR for MAPFR (continuous MAPF) with the sum-of-costs objective is finished (as part of the Planck edition of the boOX solver).
27th Apr 2020
Starting on April 27, 2020 I re-start normal in-office work - consultations and meetings are now possible.
22nd Mar 2020
Despite COVID-19 office hours are still scheduled but held via telecom.
13th Mar 2020
Feeling there are too few variants of MAPF: here is a new one MAHPF - Multi-agent Hamiltonian Path Finding
5th Mar 2020
A new topic combining game theory and robotics - Drone Heroes
3rd Mar 2020
The Intelligent Agents Research Group regrouped again - some members finished their theses and some new members arrived.
18th Feb 2020
Office hours for the new semester announced.
15th Feb 2020
New topics for arcade gamers - Multi-Pacman Path Planning (MPPP) and Adversarial Multi-Pacman Planning (AMPP)
26th Jan 2020
Supplementary material for the IJCAI 2019 and AI*IA 2019 papers is on-line
25th Jan 2020
A paper on mutex reasoning in MAPF (jointly with Han Zhang, Jiaoyang Li, Sven Koening, and T. K. Satish Kumar) accepted to ICAPS 2020.
21st Dec 2019
New records in the publications list (ICAART 2019 Selected and AI*IA 2019).
20th Dec 2019
The Intelligent Agents Research Group regrouped - new members.
20th Dec 2019
New students working on artificial intelligence topics under my supervision.
20th Dec 2019
Dean's award for my students Zuzana Fílová and Róbert Selvek.
19th Dec 2019
Christmas present - new topics: intelligent patrolling, octopus robot, and robot motion visualizer.
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 - MAPFR, multi-robot motion planning (MRMP), parallel solvers, and more....
22nd Oct 2019
Lazy compilation in classical plannig - a good topic for doctoral dissertation.
|<
<
>
>|

Page 1 of 45

Copyright © 2015 - 2020 Pavel Surynek