◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Pavel Surynek

21 papers hereh-index 202.1k citations150 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author13
  • first author3
  • middle author1
  • last author4

Across the 21 of 21 papers where every author was matched, so the position is known.

fields
  • cs.AI17
  • cs.MA3
  • cs.RO1
same name
  • Pavel Surynek — 4 papers, h 1
  • Pavel Surynek — 3 papers, h 2

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20162023
most citedMulti-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)

3 citations · 12 across the 18 of their papers we have counts for

collaborators
Showing cs.MAShow all

3 papers · 1 filter

cs.MA2023

Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic

Tomáš Kolárik, Stefan Ratschan, Pavel Surynek

This paper introduces a new approach to solving a continuous-time version of the multi-agent path finding problem. The algorithm translates the problem into an extension of the cla…

cs.MA2019

Multi-Agent Path Finding with Capacity Constraints

Pavel Surynek, T. K. Satish Kumar, Sven Koenig

In multi-agent path finding (MAPF) the task is to navigate agents from their starting positions to given individual goals. The problem takes place in an undirected graph whose vert…

cs.MA2017

Maintaining Ad-Hoc Communication Network in Area Protection Scenarios with Adversarial Agents

Marika Ivanová, Pavel Surynek, Diep Thi Ngoc Nguyen

We address a problem of area protection in graph-based scenarios with multiple mobile agents where connectivity is maintained among agents to ensure they can communicate. The probl…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.