On Modeling Formalisms for Automated Planning. - Jindrich Vodrázka; Roman Barták (AIMSA, 2014)

Searching for Sequential Plans Using Tabled Logic Programming. - Roman Barták; Jindrich Vodrázka (RCRA@AI*IA, 2015)

The effect of domain modeling on efficiency of planning: Lessons from the Nomystery domain. - Roman Barták; Jindrich Vodrázka (TAAI, 2015)

Domain Modeling for Planning as Logic Programming. - Roman Barták; Jindrich Vodrázka (FLAIRS, 2016)

The Benefit of Control Knowledge and Heuristics During Search in Planning. - Jindrich Vodrázka; Roman Barták (ICAART (2), 2016)

The Effect of Domain Modeling on Efficiency of Planning. - Roman Barták; Jindrich Vodrázka (ISAIM, 2016)

An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner. - Roman Barták; Jindrich Vodrázka (Fundam. Informaticae, 2016)

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. - Roman Barták; Lukás Chrpa; Agostino Dovier; Jindrich Vodrázka; Neng-Fa Zhou (Sci. Comput. Program., 2017)

Automated Acquisition of Control Knowledge for Classical Planners. - Marta Vomlelová; Jindrich Vodrázka; Roman Barták; Lukás Chrpa (ICAART (2), 2020)

On Modelling Multi-Agent Path Finding as a Classical Planning Problem. - Jindrich Vodrázka; Roman Barták; Jirí Svancara (SOCS, 2020)

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning. - Lukás Chrpa; Roman Barták; Jindrich Vodrázka; Marta Vomlelová (IEEE Trans. Knowl. Data Eng., 2022)

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract). - Lukás Chrpa; Roman Barták; Jindrich Vodrázka; Marta Vomlelová (ICDE, 2023)