Lukás Chrpa

127 papers A* 27A 3B 24C 4Misc 7Journal 25Unranked 34
YearRankTypeTitle / Venue / Authors
2026 A* conf
PANSim: Visualization Tool for Planning and Acting against Nature.
AAAI
Erol Medencevic, Jakub Med, Lukás Chrpa
2025 Misc conf
Analysing Routes Generated by Planning-based Centralised Traffic Routing.
FLAIRS
Andrii Nyporko, Lukás Chrpa, Matyás Svadlenka
2025 — conf
Centralised Urban Traffic Routing Using Mixed-Integer Programming.
ICAART (2)
Andrii Nyporko, Matyás Svadlenka, Nikolai Antonov, Mohammad Rohaninejad, Lukás Chrpa
2025 B conf
Exploiting Macro-Actions in Learning GPT-Based General Planning Policies.
ICTAI
Massimiliano Tummolo, Nicholas Rossetti, Lukás Chrpa, Ivan Serina, Alfonso Emilio Gerevini
2025 J jnl
Modelling and solving industrial production tasks as planning-scheduling tasks.
Data Knowl. Eng.
Andrii Nyporko, Lukás Chrpa
2025 A* conf
Non-deterministic Action Reversibility: Complexity Results.
KR
Jakub Med, Michael Morak, Lukás Chrpa, Wolfgang Faber
2025 — conf
Towards Online Centralised Traffic Routing in Metropolitan Areas.
MT-ITS
Matyás Svadlenka, Lukás Chrpa, Andrii Nyporko
2025 A* conf
Using Planning for Automated Testing of Video Games.
IJCAI
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
2024 A* conf
A Framework for Centralized Traffic Routing in Urban Areas.
IJCAI
Matyás Svadlenka, Lukás Chrpa
2024 J jnl
Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Process.
CoRR
Slavomír Svancár, Lukás Chrpa, Filip Dvorák, Tomás Balyo
2024 J jnl
Learning Planning Action Models from State Traces.
CoRR
Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Filip Dvorák, Roman Barták, G. Michael Youngblood
2024 A* conf
On Verifying Linear Execution Strategies in Planning Against Nature.
ICAPS
Lukás Chrpa, Erez Karpas
2024 A* conf
On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events.
KR
Lukás Chrpa, Erez Karpas
2024 A* conf
Planning Domain Model Acquisition from State Traces without Action Parameters.
KR
Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Stephan Gocht, Filip Dvorák, Roman Barták, G. Michael Youngblood
2024 A* conf
Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity.
ICAPS
Jakub Med, Lukás Chrpa, Michael Morak, Wolfgang Faber
2023 A* conf
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract).
ICDE
Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová
2023 C conf
Centralised Vehicle Routing for Optimising Urban Traffic: A Scalability Perspective.
IV
Lukás Chrpa, Mauro Vallati
2023 B conf
Comparing Planning Domain Models Using Answer Set Programming.
JELIA
Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
2023 J jnl
Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version).
CoRR
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
2023 B conf
Enhancing Temporal Planning by Sequential Macro-Actions.
JELIA
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
2023 C conf
Improving Applicability of Planning in the RoboCup Logistics League Using Macro-actions Refinement.
RoboCup
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
2023 — conf
Improving the Scalability of Automated Planning-based Vehicle Routing via Smart Routes Identification.
MT-ITS
Matyás Svadlenka, Lukás Chrpa, Mauro Vallati
2023 — conf
In Defence of Good Old-Fashioned Artificial Intelligence Approaches in Intelligent Transportation Systems.
ITSC
Mauro Vallati, Lukás Chrpa
2023 Misc conf
Towards a Framework for Intelligent Urban Traffic Routing.
FLAIRS
Matyás Svadlenka, Lukás Chrpa
2023 B conf
Towards an Effective Framework Combining Planning and Scheduling [Extended Abstract].
SOCS
Andrii Nyporko, Lukás Chrpa
2022 J jnl
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning.
IEEE Trans. Knowl. Data Eng.
Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová
2022 A* conf
Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation.
AAAI
Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Stefan Edelkamp
2022 B conf
Deep RRT.
SOCS
Xuzhe Dang, Lukás Chrpa, Stefan Edelkamp
2022 C conf
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.
PADL
Wolfgang Faber, Michael Morak, Lukás Chrpa
2022 B conf
Effective Planning in Resource-Competition Problems by Task Decomposition.
SOCS
Lukás Chrpa, Pavel Rytír, Andrii Nyporko, Rostislav Horcík, Stefan Edelkamp
2022 Misc conf
Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries.
FLAIRS
Ron Alford, Lukás Chrpa, Mauro Vallati, Andy Applebaum
2022 A* conf
On Speeding Up Methods for Identifying Redundant Actions in Plans.
ICAPS
Jakub Med, Lukás Chrpa
2022 A* conf
Optimal Mixed Strategies for Cost-Adversarial Planning Games.
ICAPS
Rostislav Horcík, Álvaro Torralba, Pavel Rytír, Lukás Chrpa, Stefan Edelkamp
2022 J jnl
Planning and acting in dynamic environments: identifying and avoiding dangerous situations.
J. Exp. Theor. Artif. Intell.
Lukás Chrpa, Martin Pilát, Jakub Gemrot
2022 J jnl
Planning with Critical Section Macros: Theory and Practice.
J. Artif. Intell. Res.
Lukás Chrpa, Mauro Vallati
2022 B ed.
Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022
SOCS
Lukás Chrpa, Alessandro Saetti
2022 B conf
Urban Traffic Control via Planning with Global State Constraints (Extended Abstract).
SOCS
Franc Ivankovic, Mauro Vallati, Lukás Chrpa, Marco Roveri
2021 — conf
A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles.
ITSC
Mauro Vallati, Enrico Scala, Lukás Chrpa
2021 B conf
Adversary Strategy Sampling for Effective Plan Generation.
SOCS
Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Jan Cuhel, Anastasiia Livochka, Stefan Edelkamp
2021 J jnl
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming.
Theory Pract. Log. Program.
Wolfgang Faber, Michael Morak, Lukás Chrpa
2021 J jnl
Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming.
CoRR
Wolfgang Faber, Michael Morak, Lukás Chrpa
2021 — conf
Effective Real-Time Urban Traffic Routing: An Automated Planning Approach.
MT-ITS
Mauro Vallati, Lukás Chrpa
2021 A* conf
On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena.
KR
Lukás Chrpa, Martin Pilát, Jakub Med
2021 J jnl
On the Importance of Domain Model Configuration for Automated Planning Engines.
J. Autom. Reason.
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter
2021 A* conf
Universal and Uniform Action Reversibility.
KR
Lukás Chrpa, Wolfgang Faber, Michael Morak
2020 — conf
A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions.
Australasian Conference on Artificial Intelligence
Mauro Vallati, Lukás Chrpa
2020 — conf
Automated Acquisition of Control Knowledge for Classical Planners.
ICAART (2)
Marta Vomlelová, Jindrich Vodrázka, Roman Barták, Lukás Chrpa
2020 — conf
Determining Action Reversibility in STRIPS Using Answer Set Programming.
ICLP Workshops
Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak
2020 J jnl
MEvo: a framework for effective macro sets evolution.
J. Exp. Theor. Artif. Intell.
Mauro Vallati, Lukás Chrpa, Ivan Serina
2020 — ch.
Modeling Planning Tasks: Representation Matters.
Knowledge Engineering Tools and Techniques for AI Planning
Lukás Chrpa
2020 J jnl
On the Importance of Domain Model Configuration for Automated Planning Engines.
CoRR
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter
2020 A* conf
On the Reversibility of Actions in Planning.
KR
Michael Morak, Lukás Chrpa, Wolfgang Faber, Daniel Fiser
2020 B conf
Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions.
SOCS
Lukás Chrpa, Pavel Rytír, Rostislav Horcík
2020 A* conf
Planning and Acting with Non-Deterministic Events: Navigating between Safe States.
AAAI
Lukás Chrpa, Jakub Gemrot, Martin Pilát
2020 — ch.
Planning in a Real-World Application: An AUV Case Study.
Knowledge Engineering Tools and Techniques for AI Planning
Lukás Chrpa
2020 — conf
Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study.
Australasian Conference on Artificial Intelligence
Mauro Vallati, Lukás Chrpa
2019 B conf
Appropriate Expressiveness of Planning Domain Models: An Urban Traffic Control Case Study.
K-CAP
Leah A. Chrestien, Lukás Chrpa
2019 — conf
Compiling Planning Problems with Non-deterministic Events into FOND Planning.
RCRA/RiCeRcA@AI*IA
Lukás Chrpa, Martin Pilát, Jakub Gemrot
2019 Misc conf
Exploiting automated planning for efficient centralized vehicle routing and mitigating congestion in urban road networks.
SAC
Lukás Chrpa, Mauro Vallati, Simon Parkinson
2019 — conf
How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning.
ICCS (5)
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2019 A* conf
Improving Domain-Independent Planning via Critical Section Macro-Operators.
AAAI
Lukás Chrpa, Mauro Vallati
2019 J jnl
Inner entanglements: Narrowing the search in classical planning by problem reformulation.
Comput. Intell.
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2019 B conf
On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge.
K-CAP
Mauro Vallati, Lukás Chrpa
2019 J jnl
On the predictability of domain-independent temporal planners.
Comput. Intell.
Isabel Cenamor, Mauro Vallati, Lukás Chrpa
2019 B conf
Using Classical Planning in Adversarial Problems.
ICTAI
Pavel Rytír, Lukás Chrpa, Branislav Bosanský
2018 — conf
A Principled Analysis of the Interrelation between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles.
ITSC
Mauro Vallati, Lukás Chrpa
2018 B conf
Automated Training Plan Generation for Athletes.
SMC
Tomás Skerík, Lukás Chrpa, Wolfgang Faber, Mauro Vallati
2018 B conf
Determining Representativeness of Training Plans: A Case of Macro-Operators.
ICTAI
Lukás Chrpa, Mauro Vallati
2018 — conf
On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation.
ICCS (1)
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2018 J jnl
Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms.
J. Exp. Theor. Artif. Intell.
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2018 B conf
Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks.
SOCS
Tomás Balyo, Lukás Chrpa
2018 J jnl
What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask).
Knowl. Eng. Rev.
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey
2017 A* conf
Handling non-local dead-ends in Agent Planning Programs.
IJCAI
Lukás Chrpa, Nir Lipovetzky, Sebastian Sardiña
2017 B conf
Improving a Planner's Performance through Online Heuristic Configuration of Domain Models.
SOCS
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey
2017 A conf
Mixed-initiative planning, replanning and execution: From concept to field testing using AUV fleets.
IROS
Lukás Chrpa, José Pinto, Tiago Sa Marques, Manuel A. Ribeiro, João Borges de Sousa
2017 J jnl
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.
Sci. Comput. Program.
Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou
2017 — conf
On the Evolution of Planner-Specific Macro Sets.
AI*IA
Mauro Vallati, Lukás Chrpa, Ivan Serina
2017 A* conf
On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption between Manufacturing Operations.
ICAPS
Simon Parkinson, Andrew Longstaff, Simon Fletcher, Mauro Vallati, Lukás Chrpa
2017 — ed.
Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16, 2016.
PlanSIG
Lukás Chrpa, Simon Parkinson, Mauro Vallati
2017 J jnl
The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends.
AI Mag.
Lukás Chrpa, Thomas Leo McCluskey, Mauro Vallati, Tiago Vaquero
2017 B conf
Towards a Safer Planning and Execution Concept.
ICTAI
Lukás Chrpa, Jakub Gemrot, Martin Pilát
2016 J jnl
Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations.
Intelligenza Artificiale
Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
2016 A* conf
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach.
AAAI
Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo McCluskey
2016 A* conf
Guiding Planning Engines by Transition-Based Domain Control Knowledge.
KR
Lukás Chrpa, Roman Barták
2016 J jnl
On the completeness of replacing primitive actions with macro-actions and its generalization to planning operators and macro-operators.
AI Commun.
Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne
2016 — conf
On the exploitation of Automated Planning for efficient decision making in road traffic accident management.
CDC
Lukás Chrpa, Mauro Vallati
2016 — conf
Proposing of Planning System for Sports Domain: A Tool for Professional Coaches.
PlanSIG
Tomás Skerík, Wolfgang Faber, Lukás Chrpa
2015 — conf
Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations.
IPS@AI*IA
Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
2015 A* conf
Exploiting Block Deordering for Improving Planners Efficiency.
IJCAI
Lukás Chrpa, Fazlul Hasan Siddiqui
2015 B conf
Exploring the Synergy between Two Modular Learning Techniques for Automated Planning.
SOCS
Raquel Fuentetaja, Lukás Chrpa, Thomas Leo McCluskey, Mauro Vallati
2015 A conf
On mixed-initiative planning and control for Autonomous underwater vehicles.
IROS
Lukás Chrpa, José Pinto, Manuel A. Ribeiro, Frederic Py, João Borges de Sousa, Kanna Rajan
2015 A* conf
On the Effective Configuration of Planning Domain Models.
IJCAI
Mauro Vallati, Frank Hutter, Lukás Chrpa, Thomas Leo McCluskey
2015 A* conf
On the Online Generation of Effective Macro-Operators.
IJCAI
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2015 J jnl
Portfolio-based planning: State of the art, common practice and open challenges.
AI Commun.
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2015 J jnl
The 2014 International Planning Competition: Progress and Trends.
AI Mag.
Mauro Vallati, Lukás Chrpa, Marek Grzes, Thomas Leo McCluskey, Mark Roberts, Scott Sanner
2015 B conf
Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements.
SOCS
Lukás Chrpa, Enrico Scala, Mauro Vallati
2014 J jnl
ASAP: An Automatic Algorithm Selection Approach for Planning.
Int. J. Artif. Intell. Tools
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2014 C conf
KEWI - A Knowledge Engineering Tool for Modelling AI Planning Tasks.
KEOD
Gerhard Wickler, Lukás Chrpa, Thomas Leo McCluskey
2014 A* conf
MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use.
ICAPS
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2014 B conf
On Different Strategies for Eliminating Redundant Actions from Plans.
SOCS
Tomás Balyo, Lukás Chrpa, Asma Kilani
2014 — conf
Ontological Support for Modelling Planning Knowledge.
IC3K (Selected Papers)
Gerhard Wickler, Lukás Chrpa, Thomas Leo McCluskey
2014 J jnl
Towards a Trajectory Planning Concept: Augmenting Path Planning Methods by Considering Speed Limit Constraints.
J. Intell. Robotic Syst.
Lukás Chrpa, Hugh Osborne
2013 B conf
An Automatic Algorithm Selection Approach for Planning.
ICTAI
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2013 Misc conf
Autonomic System Architecture: An Automated Planning Perspective.
AIAI
Falilat Jimoh, Lukás Chrpa, Mauro Vallati
2013 — conf
Determining Linearity of Optimal Plans by Operator Schema Analysis.
SARA
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
2013 A* conf
Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain.
IJCAI
Mohammad Munshi Shahin Shah, Lukás Chrpa, Diane E. Kitchin, Thomas Leo McCluskey, Mauro Vallati
2013 — conf
Generating Macro-Operators by Exploiting Inner Entanglements.
SARA
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey, Diane E. Kitchin
2013 B conf
Learnability of Specific Structural Patterns of Planning Problems.
ICTAI
Lukás Chrpa, Mauro Vallati, Hugh Osborne
2013 — conf
Revisiting Inner Entanglements in Classical Planning.
SCAI
Lukás Chrpa, Mauro Vallati
2013 — conf
Towards application of automated planning in urban traffic control.
ITSC
Falilat Jimoh, Lukás Chrpa, Thomas Leo McCluskey, Shahin Shah
2013 — conf
Underestimation vs. Overestimation in SAT-Based Planning.
AI*IA
Mauro Vallati, Lukás Chrpa, Andrew Crampton
2012 — conf
A Monte-Carlo path planner for dynamic and partially observable environments.
CIG
Munir Naveed, Diane E. Kitchin, Andrew Crampton, Lukás Chrpa, Peter Gregory
2012 B conf
Determining Redundant Actions in Sequential Plans.
ICTAI
Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne
2012 — conf
OCL Plus: Processes and Events in Object-Centred Planning.
STAIRS
Shahin Shah, Lukás Chrpa, Peter Gregory, Thomas Leo McCluskey, Falilat Jimoh
2012 A conf
On Exploiting Structures of Classical Planning Problems: Generalizing Entanglements.
ECAI
Lukás Chrpa, Thomas Leo McCluskey
2012 A* conf
Optimizing Plans through Analysis of Action Dependencies and Independencies.
ICAPS
Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne
2012 Misc conf
Reformulating Planning Problems: A Theoretical Point of View.
FLAIRS
Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne
2011 — conf
Dynamic Trajectory Replanning for Unmanned Aircrafts Supporting Tactical Missions in Urban Environments.
HoloMAS
Lukás Chrpa, Peter Novák
2011 — conf
Smoothed Hex-grid Trajectory Planning using Helicopter Dynamics.
ICAART (1)
Lukás Chrpa, Antonín Komenda
2011 — conf
Trajectory Planning on Grids: Considering Speed Limit Constraints.
SCAI
Lukás Chrpa
2010 — conf
Combining Learning Techniques for Classical Planning: Macro-operators and Entanglements.
ICTAI (2)
Lukás Chrpa
2010 J jnl
Generation of macro-operators via investigation of action dependencies in plans.
Knowl. Eng. Rev.
Lukás Chrpa
2009 — conf
Reformulating Planning Problems by Eliminating Unpromising Actions.
SARA
Lukás Chrpa, Roman Barták
2008 — conf
Looking for Planning Problems Solvable in Polynomial Time via Investigation of Structures of Action Dependencies.
SCAI
Lukás Chrpa, Roman Barták
2008 Misc conf
Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies.
FLAIRS
Lukás Chrpa, Roman Barták
2007 — conf
Encoding of Planning Problems and Their Optimizations in Linear Logic.
INAP/WLP
Lukás Chrpa, Pavel Surynek, Jirí Vyskocil
2007 — conf
Solving Difficult Problems by Viewing them as Structured Dense Graphs.
IICAI
Pavel Surynek, Lukás Chrpa, Jirí Vyskocil