| 2026 | AAAI | On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning. | Roman Bartk |
| 2026 | FlAIRS | The Effect of Decomposition Rule Modeling on the Efficiency of Hierarchical Planners. | Roman Bartk, Simona Ondrckov, Kristna Pantuckov |
| 2026 | FlAIRS | On Using Domain Control Knowledge in Planning - Position Paper. | Luks Chrpa, Roman Bartk |
| 2026 | FlAIRS | Ghost Agents in SAT-based Models for Multi-Agent Pathfinding. | Jir Svancara, Roman Bartk |
| 2025 | ECAI | What to Do if a Plan Does Not Comply with an HTN Model? | Kristna Pantuckov, Roman Bartk |
| 2025 | FlAIRS | On Removing Left Recursion from Totally-ordered HTN Domain Models. | Simona Ondrckov, Roman Bartk, Vladislav Kubon |
| 2025 | FlAIRS | Hierarchical Plan Repair via Plan Recognition and Plan Correction. | Kristna Pantuckov, Roman Bartk |
| 2025 | ICAART | Social Laws for Multi-Agent Pathfinding. | Jan Slezk, Jakub Mestek, Roman Bartk |
| 2025 | ICAART | Generating Safe Policies for Multi-Agent Path Finding with Temporal Uncertainty. | Jir Svancara, David Zahrdka, Mrinalini Subramanian, Roman Bartk, Miroslav Kulich |
| 2025 | ICAART | Towards Holistic Approach to Robust Execution of MAPF Plans. | David Zahrdka, Denisa Muzkov, Miroslav Kulich, Jir Svancara, Roman Bartk |
| 2025 | ICAART | A Holistic Architecture for Monitoring and Optimization of Robust Multi-agent Path Finding Plan Execution. | David Zahrdka, Denisa Muzkov, David Woller, Miroslav Kulich, Jir Svancara, Roman Bartk |
| 2025 | ICAPS | Knowledge Engineering for Planning and Scheduling in the LLM Era. | Mauro Vallati, Roman Bartk, Luks Chrpa, Thomas L. McCluskey, Ronald P. A. Petrick |
| 2025 | IJCAI | Using Planning for Automated Testing of Video Games. | Toms Balyo, Roman Bartk, Luks Chrpa, Michal Cervenka, Filip Dvork, Stephan Gocht, Luks Lipck, Viktor Macek, Dominik Rohcek, Josef Ryz, Martin Suda, Dominik Safrnek, Slavomr Svancr, G. Michael Youngblood |
| 2025 | ICTAI | Parsing-Based Planner for Totally Ordered HTN Planning with Task Insertion. | Kristna Pantuckov, Roman Bartk |
| 2025 | SoCS | On Path Selection for Reduction-Based Solving of Multi-Agent Pathfinding Using Graph Pruning. | Matej Husr, Jir Svancara, Roman Bartk |
| 2024 | FlAIRS | The Effectiveness of Autonomous Intersections in a City. | Elis Cizl, Jir Svancara, Roman Bartk |
| 2024 | FlAIRS | Handling Empty Decomposition Methods in Hierarchical Planning. | Simona Ondrckov, Kristna Pantuckov, Roman Bartk |
| 2024 | FlAIRS | Using Earley Parser for Verification of Totally Ordered Hierarchical Plans. | Kristna Pantuckov, Simona Ondrckov, Roman Bartk |
| 2024 | ICAART | Multi-Agent Path Finding: Policies Instead of Plans. | Jakub Mestek, Roman Bartk |
| 2024 | KR | Planning Domain Model Acquisition from State Traces without Action Parameters. | Toms Balyo, Martin Suda, Luks Chrpa, Dominik Safrnek, Stephan Gocht, Filip Dvork, Roman Bartk, G. Michael Youngblood |
| 2023 | AAAI | On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. | Songtuan Lin, Gregor Behnke, Simona Ondrckov, Roman Bartk, Pascal Bercher |
| 2023 | ECAI | Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans. | Kristna Pantuckov, Roman Bartk |
| 2023 | FlAIRS | Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. | Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke |
| 2023 | FlAIRS | Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint. | Kristna Pantuckov, Simona Ondrckov, Roman Bartk |
| 2023 | ICAART | On the Impact of Grounding on HTN Plan Verification via Parsing. | Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke |
| 2023 | ICAART | Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? | Jir Svancara, Philipp Obermeier, Matej Husr, Roman Bartk, Torsten Schaub |
| 2023 | ICDE | Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract). | Luks Chrpa, Roman Bartk, Jindrich Vodrzka, Marta Vomlelov |
| 2023 | ICTAI | On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods. | Simona Ondrckov, Roman Bartk |
| 2023 | SoCS | Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. | Jir Svancara, Etienne Tignon, Roman Bartk, Torsten Schaub, Philipp Wanko, Roland Kaminski |
| 2022 | FlAIRS | On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. | Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke |
| 2022 | ICAART | Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling. | Jir Svancara, Roman Bartk |
| 2022 | ICAART | Coordinated Collision-free Movement of Groups of Agents. | Jir Svancara, Marika Ivanov, Roman Bartk |
| 2022 | SoCS | Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). | Jir Svancara, Philipp Obermeier, Matej Husr, Roman Bartk, Torsten Schaub |
| 2021 | AAAI | OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots. | Roman Bartk, Jakub Mestek |
| 2021 | FlAIRS | Colored Multi-Agent Path Finding: Solving Approaches. | Roman Bartk, Marika Ivanov, Jir Svancara |
| 2021 | FlAIRS | Compilation-Based Approaches to Parallel Planning: An Empirical Comparison. | Kristna Pantuckov, Roman Bartk |
| 2021 | ICTAI | On the Verification of Totally-Ordered HTN Plans. | Roman Bartk, Simona Ondrckov, Gregor Behnke, Pascal Bercher |
| 2021 | ICTAI | Contingent Planning for Robust Multi-Agent Path Finding. | Michal Nekvinda, Roman Bartk |
| 2021 | KR | Correcting Hierarchical Plans by Action Deletion. | Roman Bartk, Simona Ondrckov, Gregor Behnke, Pascal Bercher |
| 2021 | SoCS | From Classical to Colored Multi-Agent Path Finding. | Roman Bartk, Marika Ivanov, Jir Svancara |
| 2021 | SoCS | Contingent Planning for Robust Multi-Agent Path Finding. | Michal Nekvinda, Roman Bartk, Meir Kalech |
| 2020 | AAAI | MAPF Scenario: Software for Evaluating MAPF Plans on Real Robots. | Roman Bartk, Jir Svancara, Ivan Krasicenko |
| 2020 | ICAART | What Does Multi-agent Path-finding Tell Us About Intelligent Intersections. | Vera Skopkov, Roman Bartk, Jir Svancara |
| 2020 | ICAART | Deep Learning of Heuristics for Domain-independent Planning. | Otakar Trunda, Roman Bartk |
| 2020 | ICAART | Heuristic Learning in Domain-Independent Planning: Theoretical Analysis and Experimental Evaluation. | Otakar Trunda, Roman Bartk |
| 2020 | ICAART | Automated Acquisition of Control Knowledge for Classical Planners. | Marta Vomlelov, Jindrich Vodrzka, Roman Bartk, Luks Chrpa |
| 2020 | ICTAI | A Novel Parsing-based Approach for Verification of Hierarchical Plans. | Roman Bartk, Simona Ondrckov, Adrien Maillard, Gregor Behnke, Pascal Bercher |
| 2020 | ICTAI | On Modelling Multi-Agent Path Finding as a Classical Planning Problem. | Jindrich Vodrzka, Roman Bartk, Jir Svancara |
| 2020 | SoCS | On Modelling Multi-Agent Path Finding as a Classical Planning Problem. | Jindrich Vodrzka, Roman Bartk, Jir Svancara |
| 2019 | AAAI | Online Multi-Agent Pathfinding. | Jir Svancara, Marek Vlk, Roni Stern, Dor Atzmon, Roman Bartk |
| 2019 | FlAIRS | FLAIRS-32 Poster Abstracts. | Roman Bartk, Keith Brawner |
| 2019 | ICAART | Combining Strengths of Optimal Multi-Agent Path Finding Algorithms. | Jir Svancara, Roman Bartk |
| 2019 | IJCAI | Multi-Agent Path Finding on Ozobots. | Roman Bartk, Ivan Krasicenko, Jir Svancara |
| 2019 | SoCS | On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective. | Roman Bartk, Jir Svancara |
| 2019 | SoCS | Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. | 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 Bartk, Eli Boyarski |
| 2018 | AAAI | Validation of Hierarchical Plans via Parsing of Attribute Grammars. | Roman Bartk, Adrien Maillard, Rafael Cau Cardoso |
| 2018 | FlAIRS | Special Track on Autonomous Robots and Agents. | Roman Bartk, David Obdrzlek |
| 2018 | PKAW | LOUGA: Learning Planning Operators Using Genetic Algorithms. | Jir Kucera, Roman Bartk |
| 2018 | SoCS | Robust Multi-Agent Path Finding. | Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Bartk, Neng-Fa Zhou |
| 2017 | ETFA | Minimization of useless work in resource failure recovery of workflow schedules. | Marek Vlk, Roman Bartk, Zdenek Hanzlek |
| 2017 | FlAIRS | Using Machine Learning to Identify Activities of a Flying Drone from Sensor Readings. | Roman Bartk, Marta Vomlelov |
| 2017 | ICLP | // Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding. | Neng-Fa Zhou, Roman Bartk |
| 2017 | ICTAI | Modeling and Solving the Multi-agent Pathfinding Problem in Picat. | Roman Bartk, Neng-Fa Zhou, Roni Stern, Eli Boyarski, Pavel Surynek |
| 2017 | PPDP | Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. | Roman Bartk, Adrien Maillard |
| 2017 | SoCS | k-Robust Multi-Agent Path Finding. | Dor Atzmon, Ariel Felner, Roni Stern, Glenn Wagner, Roman Bartk, Neng-Fa Zhou |
| 2016 | FlAIRS | On Similarities Between Workflow Verification and Grammar Checking. | Roman Bartk, Vladislav Kubon |
| 2016 | FlAIRS | Domain Modeling for Planning as Logic Programming. | Roman Bartk, Jindrich Vodrzka |
| 2016 | ICAART | The Benefit of Control Knowledge and Heuristics During Search in Planning. | Jindrich Vodrzka, Roman Bartk |
| 2016 | IJCAI | Practical 3D Tracking Using Low-Cost Cameras. | Roman Bartk, Michal Koutn, David Obdrzlek |
| 2016 | IJCAI | Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. | Roman Bartk, Neng-Fa Zhou, Agostino Dovier |
| 2016 | ISAIM | The Effect of Domain Modeling on Efficiency of Planning. | Roman Bartk, Jindrich Vodrzka |
| 2016 | ICTAI | Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. | Roman Bartk, Agostino Dovier, Neng-Fa Zhou |
| 2016 | KR | Guiding Planning Engines by Transition-Based Domain Control Knowledge. | Luks Chrpa, Roman Bartk |
| 2016 | PADL | Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. | Jan Jelnek, Roman Bartk |
| 2016 | SOFSEM | Using Attribute Grammars to Model Nested Workflows with Extra Constraints. | Roman Bartk |
| 2015 | FlAIRS | Camera-Based Localization and Stabilization of a Flying Drone. | Jan Skoda, Roman Bartk |
| 2015 | ICAART | Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource Constraints. | Roman Bartk, Marek Vlk |
| 2015 | ICAART | Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints. | Roman Bartk, Marek Vlk |
| 2015 | PPDP | On modeling planning problems in tabled logic programming. | Roman Bartk, Agostino Dovier, Neng-Fa Zhou |
| 2015 | SoCS | No One SATPlan Encoding To Rule Them All. | Toms Balyo, Roman Bartk |
| 2014 | AIMSA | On Modeling Formalisms for Automated Planning. | Jindrich Vodrzka, Roman Bartk |
| 2014 | ECAI | Determining a Proper Initial Configuration of Red-Black Planning by Machine Learning. | Otakar Trunda, Roman Bartk |
| 2014 | FlAIRS | On Autonomous Landing of AR.Drone: Hands-On Experience. | Roman Bartk, Andrej Hrasko, David Obdrzlek |
| 2014 | FlAIRS | Special Track on Intelligent Autonomous Systems. | Roman Bartk, David Obdrzlek |
| 2014 | ICTAI | Planning and Acting with Temporal and Hierarchical Decomposition Models. | Filip Dvork, Roman Bartk, Arthur Bit-Monnot, Flix Ingrand, Malik Ghallab |
| 2013 | FlAIRS | Simplifying Verification of Nested Workflows with Extra Constraints. | Roman Bartk |
| 2013 | ICAART | Planning and Reactive Agents in Dynamic Game Environments - An Experimental Study. | Roman Bartk, Cyril Brom, Martin Cern, Jakub Gemrot |
| 2012 | AIMSA | Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms. | Andrej Chovanec, Roman Bartk |
| 2012 | ECAI | FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners. | Roman Bartk, Milan Jaska, Ladislav Novak, Vladimr Rovensk, Toms Skalick, Martin Cully, Con Sheahan, Thanh-Tung Dang |
| 2012 | FlAIRS | When Planning Should Be Easy: On Solving Cumulative Planning Problems. | Roman Bartk, Filip Dvork, Jakub Gemrot, Cyril Brom, Daniel Toropila |
| 2012 | ICAART | On Complexity of Verifying Nested Workflows with Extra Constraints. | Roman Bartk |
| 2012 | ICTAI | Shortening Plans by Local Re-planning. | Toms Balyo, Roman Bartk, Pavel Surynek |
| 2012 | ICTAI | Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems. | Daniel Toropila, Filip Dvork, Otakar Trunda, Martin Hanes, Roman Bartk |
| 2012 | SoCS | On Improving Plan Quality via Local Enhancements. | Toms Balyo, Roman Bartk, Pavel Surynek |
| 2012 | SOFSEM | MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises. | Roman Bartk, Con Sheahan, Ann Sheahan |
| 2011 | FlAIRS | A Novel Constraint Model for Parallel Planning. | Roman Bartk |
| 2011 | ICAART | Towards Routing for Autonomous Robots - Using Constraint Programming in an Anytime Path Planner. | Roman Bartk, Michal Zerola, Stanislav Slusny |
| 2011 | ICTAI | Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement. | Andrej Chovanec, Roman Bartk |
| 2010 | AAAI | Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem. | Roman Bartk, Ondrej Kuzelka, Filip Zelezn |
| 2010 | AIMSA | Constraint Models for Reasoning on Unification in Inductive Logic Programming. | Roman Bartk |
| 2010 | FlAIRS | Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming. | Roman Bartk, Ondrej Kuzelka, Filip Zelezn |
| 2010 | ICTAI | Integrating Time and Resources into Planning. | Filip Dvork, Roman Bartk |
| 2009 | CPAIOR | Constraint Models for Sequential Planning. | Roman Bartk, Daniel Toropila |
| 2009 | FlAIRS | Special Track on Artificial Intelligence Planning and Scheduling. | Roman Bartk |
| 2009 | FlAIRS | Enhancing Constraint Models for Planning Problems. | Roman Bartk, Daniel Toropila |
| 2009 | ICTAI | Using Constraint Programming to Plan Efficient Data Movement on the Grid. | Michal Zerola, Michal Sumbera, Roman Bartk, Jrme Lauret |
| 2009 | ISMIS | Revisiting Constraint Models for Planning Problems. | Roman Bartk, Daniel Toropila |
| 2008 | AIMSA | Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models. | Roman Bartk, Ondrej Cepek |
| 2008 | FlAIRS | Reformulating Constraint Models for Classical Planning. | Roman Bartk, Daniel Toropila |
| 2008 | FlAIRS | Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies. | Luks Chrpa, Roman Bartk |
| 2008 | SAC | Nested temporal networks with alternatives: recognition and tractability. | Roman Bartk, Ondrej Cepek |
| 2007 | FlAIRS | Temporal Networks with Alternatives: Complexity and Model. | Roman Bartk, Ondrej Cepek |
| 2007 | FlAIRS | Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search. | Pavel Surynek, Roman Bartk |
| 2006 | FlAIRS | Incremental Propagation of Time Windows on Disjunctive Resources. | Roman Bartk |
| 2006 | ICTAI | Incremental Filtering Algorithms for Precedence and Dependency Constraints. | Roman Bartk, Ondrej Cepek |
| 2005 | CP | Automated Search for Heuristic Functions. | Pavel Cejnar, Roman Bartk |
| 2005 | CP | Encoding HTN Planning as a Dynamic CSP. | Pavel Surynek, Roman Bartk |
| 2005 | CP | Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains. | Josef Zlomek, Roman Bartk |
| 2005 | FlAIRS | An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems. | Roman Bartk, Pavel Surynek |
| 2005 | FlAIRS | Desk-Mates (Stable Matching) with Privacy of Preferences, and a New Distributed CSP Framework. | Marius-Calin Silaghi, Amit Abhyankar, Markus Zanker, Roman Bartk |
| 2005 | SAC | Limited assignments: a new cutoff strategy for incomplete depth-first search. | Roman Bartk, Hana Rudov |
| 2004 | CP | A New Algorithm for Maintaining Arc Consistency After Constraint Retraction. | Pavel Surynek, Roman Bartk |
| 2004 | CP | Unary Resource Constraint with Optional Activities. | Petr Vilm, Roman Bartk, Ondrej Cepek |
| 2004 | FlAIRS | A New Algorithm for Singleton Arc Consistency. | Roman Bartk, Radek Erben |
| 2004 | PATAT | Minimal Perturbation Problem in Course Timetabling. | Toms Mller, Hana Rudov, Roman Bartk |
| 2002 | CP | Visopt ShopFloor: On the Edge of Planning and Scheduling. | Roman Bartk |
| 2002 | ECAI | A Theoretical Framework for Constraint Hierarchy Solvers. | Roman Bartk |
| 2002 | SOFSEM | Modelling Resource Transitions in Constraint-Based Scheduling. | Roman Bartk |