Roman Barták
7 papers · 2016–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (10) 🐣 Hot Topic Early Bird
🚀
Conference Pioneer
Top co-authors
Research topics
Keywords
path planning
(3)
multi-agent path finding
(3)
robot navigation
(2)
knowledge representation
(1)
explainable ai
(1)
polynomial time
(1)
collision avoidance
(1)
online algorithm
(1)
sat solver
(1)
graph algorithm
(1)
autonomous system
(1)
symbolic knowledge
(1)
graph search
(1)
htn planning
(1)
video game
(1)
collision-free path
(1)
swarm robotics
(1)
optimal planning
(1)
plan verification
(1)
agent coordination
(1)
Papers
On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning
AAAI 2026
Using Planning for Automated Testing of Video Games
IJCAI 2025
On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm
AAAI 2023
OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots
AAAI 2021
Multi-Agent Path Finding on Ozobots
IJCAI 2019
Online Multi-Agent Pathfinding
AAAI 2019
Practical 3D Tracking Using Low-Cost Cameras
IJCAI 2016