Roman Barták

7 papers · 2016–2026 · 2 conferences · across top CS/AI conferences

Achievements

🐝 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

Jiří Švancara (2) Simona Ondrčková (1) Lukáš Lipčák (1) Jakub Mestek (1) Michal Koutný (1) Michal Červenka (1) Marek Vlk (1) Martin Suda (1) Pascal Bercher (1) Roni Stern (1)

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