ℹ️
🇬🇧
Search
Search for people relevant for "problémů"
problémů
Person
Class
Person
Publication
Programmes
Export current view
doc. RNDr. Pavel Surynek Ph.D.
External person at Faculty of Mathematics and Physics
81 publications
Publications
publication
A Novel Approach to Path Planning for Multiple Robots in Bi-connected Graphs
2009 |
Faculty of Mathematics and Physics
publication
An Application of Pebble Motion on Graphs to Abstract Multi-robot Path Planning
2009 |
Faculty of Mathematics and Physics
publication
Encoding of Planning Problems and their Optimizations in Linear Logic
+1
2009 |
Faculty of Mathematics and Physics
publication
Making Solutions of Multi-robot Path Planning Problems Shorter Using Weak Transpositions and Critical Path Parallelism
2009 |
Faculty of Mathematics and Physics
publication
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
+1
2008 |
Faculty of Mathematics and Physics
publication
Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding A Novel SAT-based Optimal MAPF Solver
2017 |
Faculty of Mathematics and Physics
publication
Application of Longest Common Subsequence Algorithms to Meshing of Planar Domains with Quadrilaterals
2017 |
Faculty of Mathematics and Physics
publication
Modeling and Solving the Multi-agent Pathfinding Problem in Picat
2017 |
Faculty of Mathematics and Physics
publication
Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective
2016 |
Faculty of Mathematics and Physics
publication
An Emprical Comparison of the Hardness of Multi-agent Path Finding under the Makespan and the Sum of Costs Objectives
2016 |
Faculty of Mathematics and Physics
Load more publications (71)
Loading network view...