Roman Barták
7 papers · 2016–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐝 Cross-Pollinator (12) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(10)
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Conferences
AAAI (4)
IJCAI (3)
Top co-authors
Keywords
multi-agent path finding
(3)
path planning
(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)
multi-agent pathfinding
(1)
swarm robotics
(1)
optimal planning
(1)
plan verification
(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
Online Multi-Agent Pathfinding
AAAI 2019
Multi-Agent Path Finding on Ozobots
IJCAI 2019
Practical 3D Tracking Using Low-Cost Cameras
IJCAI 2016