Barták, Roman

8 publications

IJCAI 2025 Using Planning for Automated Testing of Video Games Tomás Balyo, Roman Barták, Lukás Chrpa, Michal Cervenka, Filip Dvorák, Stephan Gocht, Lukás Lipcák, Viktor Macek, Dominik Rohácek, Josef Ryzí, Martin Suda, Dominik Safránek, Slavomír Svancár, G. Michael Youngblood

AAAI 2023 On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher

AAAI 2021 OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots Roman Barták, Jakub Mestek

AAAI 2020 MAPF Scenario: Software for Evaluating MAPF Plans on Real Robots Roman Barták, Jirí Svancara, Ivan Krasicenko

JAIR 2020 Robust Multi-Agent Path Finding and Executing Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou

IJCAI 2019 Multi-Agent Path Finding on Ozobots Roman Barták, Ivan Krasicenko, Jirí Svancara

AAAI 2019 Online Multi-Agent Pathfinding Jirí Svancara, Marek Vlk, Roni Stern, Dor Atzmon, Roman Barták

IJCAI 2016 Practical 3D Tracking Using Low-Cost Cameras Roman Barták, Michal Koutný, David Obdrzálek