Roman Barták

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 86

Top Venues

Publications

Eliás Cizl, Jirí Svancara, Roman Barták
The Effectiveness of Autonomous Intersections in a City. FLAIRS (2024)
Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Filip Dvorák, Roman Barták, G. Michael Youngblood
Learning Planning Action Models from State Traces. CoRR (2024)
Simona Ondrcková, Kristýna Pantucková, Roman Barták
Handling Empty Decomposition Methods in Hierarchical Planning. FLAIRS (2024)
Kristýna Pantucková, Simona Ondrcková, Roman Barták
Using Earley Parser for Verification of Totally Ordered Hierarchical Plans. FLAIRS (2024)
Tomás Balyo, G. Michael Youngblood, Filip Dvorák, Roman Barták
On Automating Video Game Testing by Planning and Learning. CoRR (2024)
Jakub Mestek, Roman Barták
Multi-Agent Path Finding: Policies Instead of Plans. ICAART (1) (2024)
Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski
Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. SOCS (2023)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
On the Impact of Grounding on HTN Plan Verification via Parsing. ICAART (3) (2023)
Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. AAAI (2023)
Avraham Natan, Meir Kalech, Roman Barták
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach. Artif. Intell. 324 (2023)
Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub
Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? ICAART (1) (2023)
Kristýna Pantucková, Simona Ondrcková, Roman Barták
Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint. FLAIRS (2023)
Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract). ICDE (2023)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. FLAIRS (2023)
Simona Ondrcková, Roman Barták
On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods. ICTAI (2023)
Kristýna Pantucková, Roman Barták
Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans. ECAI (2023)
Jirí Svancara, Marika Ivanová, Roman Barták
Coordinated Collision-free Movement of Groups of Agents. ICAART (1) (2022)
Matej Husár, Jirí Svancara, Philipp Obermeier, Roman Barták, Torsten Schaub
Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning. AAMAS (2022)
Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning. IEEE Trans. Knowl. Data Eng. 34 (9) (2022)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. FLAIRS (2022)
Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub
Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). SOCS (2022)
Jirí Svancara, Roman Barták
Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling. ICAART (1) (2022)
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
Correcting Hierarchical Plans by Action Deletion. KR (2021)
Michal Nekvinda, Roman Barták
Contingent Planning for Robust Multi-Agent Path Finding. ICTAI (2021)
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
On the Verification of Totally-Ordered HTN Plans. ICTAI (2021)
Roman Barták, Jakub Mestek
OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots. AAAI (2021)
Roman Barták, Marika Ivanová, Jirí Svancara
Colored Multi-Agent Path Finding: Solving Approaches. FLAIRS Conference (2021)
Michal Nekvinda, Roman Barták, Meir Kalech
Contingent Planning for Robust Multi-Agent Path Finding. SOCS (2021)
Roman Barták, Marika Ivanová, Jirí Svancara
From Classical to Colored Multi-Agent Path Finding. SOCS (2021)
Kristýna Pantucková, Roman Barták
Compilation-Based Approaches to Parallel Planning: An Empirical Comparison. FLAIRS Conference (2021)
Vera Skopková, Roman Barták, Jirí Svancara
What Does Multi-agent Path-finding Tell Us About Intelligent Intersections. ICAART (1) (2020)
Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher
A Novel Parsing-based Approach for Verification of Hierarchical Plans. ICTAI (2020)
Jindrich Vodrázka, Roman Barták, Jirí Svancara
On Modelling Multi-Agent Path Finding as a Classical Planning Problem. ICTAI (2020)
Jindrich Vodrázka, Roman Barták, Jirí Svancara
On Modelling Multi-Agent Path Finding as a Classical Planning Problem. SOCS (2020)
Otakar Trunda, Roman Barták
Heuristic Learning in Domain-Independent Planning: Theoretical Analysis and Experimental Evaluation. ICAART (Revised Selected Papers) (2020)
Roman Barták, Jirí Svancara, Ivan Krasicenko
MAPF Scenario: Software for Evaluating MAPF Plans on Real Robots. AAAI (2020)
Otakar Trunda, Roman Barták
Deep Learning of Heuristics for Domain-independent Planning. ICAART (2) (2020)
Marta Vomlelová, Jindrich Vodrázka, Roman Barták, Lukás Chrpa
Automated Acquisition of Control Knowledge for Classical Planners. ICAART (2) (2020)
Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
Robust Multi-Agent Path Finding and Executing. J. Artif. Intell. Res. 67 (2020)
Roman Barták, Jirí Svancara, Vera Skopková, David Nohejl, Ivan Krasicenko
Multi-agent path finding on real robots. AI Commun. 32 (3) (2019)
Roman Barták, Eric Bell, Keith Brawner, Vasile Rus
Report on the Thirty-Second International Florida Artificial Intelligence Research Society Conference (FLAIRS-32). AI Mag. 40 (4) (2019)
Roni Stern, Nathan R. Sturtevant, Ariel Felner, Sven Koenig, Hang Ma, Thayne T. Walker, Jiaoyang Li, Dor Atzmon, Liron Cohen, T. K. Satish Kumar, Roman Barták, Eli Boyarski
Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. SOCS (2019)
Roman Barták, Ivan Krasicenko, Jirí Svancara
Multi-Agent Path Finding on Real Robots. AAMAS (2019)
Jirí Svancara, Marek Vlk, Roni Stern, Dor Atzmon, Roman Barták
Online Multi-Agent Pathfinding. AAAI (2019)
Roman Barták, Jirí Svancara
On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective. SOCS (2019)
Roman Barták, Keith Brawner
FLAIRS-32 Poster Abstracts. FLAIRS Conference (2019)
Jirí Svancara, Roman Barták
Combining Strengths of Optimal Multi-Agent Path Finding Algorithms. ICAART (1) (2019)
Roman Barták, Ivan Krasicenko, Jirí Svancara
Multi-Agent Path Finding on Ozobots. IJCAI (2019)
Roni Stern, Nathan R. Sturtevant, Ariel Felner, Sven Koenig, Hang Ma, Thayne T. Walker, Jiaoyang Li, Dor Atzmon, Liron Cohen, T. K. Satish Kumar, Eli Boyarski, Roman Barták
Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. CoRR (2019)
Roman Barták, Jiri Svancara, Marek Vlk
A Scheduling-Based Approach to Multi-Agent Path Finding with Weighted and Capacitated Arcs. AAMAS (2018)
Roman Barták, David Obdrzálek
Special Track on Autonomous Robots and Agents. FLAIRS Conference (2018)
Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
Robust Multi-Agent Path Finding. SOCS (2018)
Jirí Kucera, Roman Barták
LOUGA: Learning Planning Operators Using Genetic Algorithms. PKAW (2018)
Roman Barták, Adrien Maillard, Rafael Cauê Cardoso
Validation of Hierarchical Plans via Parsing of Attribute Grammars. ICAPS (2018)
Keith Brawner, Vasile Rus, Roman Barták, Zdravko Markov
Report on the Thirty-First International Florida Artificial Intelligence Research Society Conference (FLAIRS-31). AI Mag. 39 (4) (2018)
Roman Barták, Adrien Maillard, Rafael Cauê Cardoso
Validation of Hierarchical Plans via Parsing of Attribute Grammars. AAAI Spring Symposia (2018)
Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
Robust Multi-Agent Path Finding. AAMAS (2018)
Roman Barták, Adrien Maillard, Rafael Cauê Cardoso
Validation of Hierarchical Plans via Parsing of Attribute Grammars. AAAI Workshops (2018)
Roman Barták, Jirí Svancara, Vera Skopková, David Nohejl
Multi-agent Path Finding on Real Robots: First Experience with Ozobots. IBERAMIA (2018)
Roman Barták
Constraint Solving and Planning with Picat by Neng-Fa Zhou , Håkan Kjellerstrand , and Jonathan Fruhman , xi + 148 pages, Springer, 2015. Paperback, ISBN 978-3-319-25881-2. Theory Pract. Log. Program. 17 (1) (2017)
Roman Barták, Marta Vomlelová
Using Machine Learning to Identify Activities of a Flying Drone from Sensor Readings. FLAIRS Conference (2017)
Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Sci. Comput. Program. 147 (2017)
Roman Barták, Adrien Maillard
Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. PPDP (2017)
Neng-Fa Zhou, Roman Barták
// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding. ICLP (Technical Communications) (2017)
Dor Atzmon, Ariel Felner, Roni Stern, Glenn Wagner, Roman Barták, Neng-Fa Zhou
k-Robust Multi-Agent Path Finding. SOCS (2017)
Marek Vlk, Roman Barták, Zdenek Hanzálek
Minimization of useless work in resource failure recovery of workflow schedules. ETFA (2017)
Roman Barták, Neng-Fa Zhou, Roni Stern, Eli Boyarski, Pavel Surynek
Modeling and Solving the Multi-agent Pathfinding Problem in Picat. ICTAI (2017)
Jan Skoda, Roman Barták
3D Navigation for a Mobile Robot. ROBOT (2) (2017)
Monica Anderson, Roman Barták, John S. Brownstein, David L. Buckeridge, Hoda Eldardiry, Christopher W. Geib, Maria L. Gini, Aaron Isaksen, Sarah Keren, Robert Laddaga, Viliam Lisý, Rodney Martin, David R. Martinez, Martin Michalowski, Loizos Michael, Reuth Mirsky, Thanh Hai Nguyen, Michael J. Paul, Enrico Pontelli, Scott Sanner, Arash Shaban-Nejad, Arunesh Sinha, Shirin Sohrabi, Kumar Sricharan, Biplav Srivastava, Mark Stefik, William W. Streilein, Nathan R. Sturtevant, Kartik Talamadupula, Michael Thielscher, Julian Togelius, Tran Cao Son, Long Tran-Thanh, Neal Wagner, Byron C. Wallace, Szymon Wilk, Jichen Zhu
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 38 (3) (2017)
Roman Barták, Neng-Fa Zhou, Agostino Dovier
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. KnowProS@IJCAI (2016)
Roman Barták, Jindrich Vodrázka
An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner. Fundam. Informaticae 149 (1-2) (2016)
Roman Barták, Vladislav Kubon
On Similarities Between Workflow Verification and Grammar Checking. FLAIRS Conference (2016)
Jan Jelínek, Roman Barták
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. PADL (2016)
Roman Barták
Using Attribute Grammars to Model Nested Workflows with Extra Constraints. SOFSEM (2016)
Roman Barták, Vladislav Kubon
Using a Grammar Checker to Validate Compliance of Processes with Workflow Models. MICAI (1) (2016)
Roman Barták, Michal Koutný, David Obdrzálek
Practical 3D Tracking Using Low-Cost Cameras. IJCAI (2016)
Jindrich Vodrázka, Roman Barták
The Benefit of Control Knowledge and Heuristics During Search in Planning. ICAART (2) (2016)
Miguel A. Salido, Roman Barták
Introduction to the special issue on constraint satisfaction for planning and scheduling. Knowl. Eng. Rev. 31 (5) (2016)
Lukás Chrpa, Roman Barták
Guiding Planning Engines by Transition-Based Domain Control Knowledge. KR (2016)
Roman Barták, Marek Vlk
Hierarchical Task Model for Resource Failure Recovery in Production Scheduling. MICAI (1) (2016)
Roman Barták, Jindrich Vodrázka
The Effect of Domain Modeling on Efficiency of Planning. ISAIM (2016)
Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou
Compiling and Executing PDDL in Picat. CILC (2016)
Roman Barták, Tomás Dvorák
On Verification of Workflow and Planning Domain Models Using Attribute Grammars. MICAI (1) (2016)
Martin Cerný, Roman Barták, Cyril Brom, Jakub Gemrot
To Plan or to Simply React? An Experimental Study of Action Planning in a Game Environment. Comput. Intell. 32 (4) (2016)
Roman Barták, Jindrich Vodrázka
Domain Modeling for Planning as Logic Programming. FLAIRS Conference (2016)
Roman Barták, Agostino Dovier, Neng-Fa Zhou
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. ICTAI (2016)
Roman Barták, Agostino Dovier, Neng-Fa Zhou
On modeling planning problems in tabled logic programming. PPDP (2015)
Filip Dvorak, Daniel Toropila, Roman Barták
Yet more planning efficiency: Finite-domain state-variable reformulation. J. Exp. Theor. Artif. Intell. 27 (5) (2015)
Roman Barták, Jindrich Vodrázka
The effect of domain modeling on efficiency of planning: Lessons from the Nomystery domain. TAAI (2015)
Roman Barták, Marek Vlk
Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints. ICAART (Revised Selected Papers) (2015)
Roman Barták, Adam Vykovsky
Any Object Tracking and Following by a Flying Drone. MICAI (Special Sessions) (2015)
Roman Barták, Marek Vlk
Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource Constraints. ICAART (2) (2015)
Jan Skoda, Roman Barták
Camera-Based Localization and Stabilization of a Flying Drone. FLAIRS Conference (2015)
Filip Matzner, Roman Barták
Short-Term Motion Tracking Using Inexpensive Sensors. MICAI (2) (2015)
Neng-Fa Zhou, Roman Barták, Agostino Dovier
Planning as tabled logic programming. Theory Pract. Log. Program. 15 (4-5) (2015)
Neng-Fa Zhou, Roman Barták, Agostino Dovier
Planning as Tabled Logic Programming. CoRR (2015)
Tomás Balyo, Roman Barták
No One SATPlan Encoding To Rule Them All. SOCS (2015)
Roman Barták, Jindrich Vodrázka
Searching for Sequential Plans Using Tabled Logic Programming. RCRA@AI*IA (2015)
Martin Cerný, Cyril Brom, Roman Barták, Martin Antos
Spice It Up! Enriching Open World NPC Simulation Using Constraint Satisfaction. AIIDE (2014)
Roman Barták, Neng-Fa Zhou
Using Tabled Logic Programming to Solve the Petrobras Planning Problem. Theory Pract. Log. Program. 14 (4-5) (2014)

Roman Barták.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roman Barták