P
PaperPicks
Conferences
Researchers
Sponsors ♥
Pavel Surynek
3 papers at tracked venues · 1 at CORE A* · active 2024–2025
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×1
ECAI
×1
IROS
×1
Frequent coauthors
Martin Rames
×2
Vojtech Bubnik
×1
Lukas Matena
×1
Petr Kubis
×1
Papers
Accessible Hardware Implementation for Multi-Agent Collective Construction
BibTeX ⧉
AAAI 2025
·
Martin Rames
,
Pavel Surynek
Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
BibTeX ⧉
IROS 2025
·
Pavel Surynek
,
Vojtech Bubnik
,
Lukas Matena
,
Petr Kubis
Reaching New Heights in Multi-Agent Collective Construction
BibTeX ⧉
ECAI 2024
·
Martin Rames
,
Pavel Surynek