Lukás Chrpa

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 72

Top Venues

Publications

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)
Jakub Med, Lukás Chrpa, Michael Morak, Wolfgang Faber
Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. ICAPS (2024)
Lukás Chrpa, Erez Karpas
On Verifying Linear Execution Strategies in Planning Against Nature. ICAPS (2024)
Slavomír Svancár, Lukás Chrpa, Filip Dvorák, Tomás Balyo
Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Process. CoRR (2024)
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
Improving Applicability of Planning in the RoboCup Logistics League Using Macro-actions Refinement. RoboCup (2023)
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version). CoRR (2023)
Matyás Svadlenka, Lukás Chrpa, Mauro Vallati
Improving the Scalability of Automated Planning-based Vehicle Routing via Smart Routes Identification. MT-ITS (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)
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
Enhancing Temporal Planning by Sequential Macro-Actions. JELIA (2023)
Matyás Svadlenka, Lukás Chrpa
Towards a Framework for Intelligent Urban Traffic Routing. FLAIRS (2023)
Lukás Chrpa, Mauro Vallati
Centralised Vehicle Routing for Optimising Urban Traffic: A Scalability Perspective. IV (2023)
Andrii Nyporko, Lukás Chrpa
Towards an Effective Framework Combining Planning and Scheduling [Extended Abstract]. SOCS (2023)
Mauro Vallati, Lukás Chrpa
In Defence of Good Old-Fashioned Artificial Intelligence Approaches in Intelligent Transportation Systems. ITSC (2023)
Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
Comparing Planning Domain Models Using Answer Set Programming. JELIA (2023)
Lukás Chrpa, Martin Pilát, Jakub Gemrot
Planning and acting in dynamic environments: identifying and avoiding dangerous situations. J. Exp. Theor. Artif. Intell. 34 (6) (2022)
Lukás Chrpa, Mauro Vallati
Planning with Critical Section Macros: Theory and Practice. J. Artif. Intell. Res. 74 (2022)
Lukás Chrpa, Pavel Rytír, Andrii Nyporko, Rostislav Horcík, Stefan Edelkamp
Effective Planning in Resource-Competition Problems by Task Decomposition. SOCS (2022)
Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Stefan Edelkamp
Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation. AAAI (2022)
Jakub Med, Lukás Chrpa
On Speeding Up Methods for Identifying Redundant Actions in Plans. ICAPS (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)
Ron Alford, Lukás Chrpa, Mauro Vallati, Andy Applebaum
Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries. FLAIRS (2022)
Franc Ivankovic, Mauro Vallati, Lukás Chrpa, Marco Roveri
Urban Traffic Control via Planning with Global State Constraints (Extended Abstract). SOCS (2022)
Xuzhe Dang, Lukás Chrpa, Stefan Edelkamp
Deep RRT. SOCS (2022)
Rostislav Horcík, Álvaro Torralba, Pavel Rytír, Lukás Chrpa, Stefan Edelkamp
Optimal Mixed Strategies for Cost-Adversarial Planning Games. ICAPS (2022)
Wolfgang Faber, Michael Morak, Lukás Chrpa
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. PADL (2022)
Mauro Vallati, Lukás Chrpa
Effective Real-Time Urban Traffic Routing: An Automated Planning Approach. MT-ITS (2021)
Wolfgang Faber, Michael Morak, Lukás Chrpa
Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming. CoRR (2021)
Lukás Chrpa, Martin Pilát, Jakub Med
On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena. KR (2021)
Lukás Chrpa, Wolfgang Faber, Michael Morak
Universal and Uniform Action Reversibility. KR (2021)
Mauro Vallati, Enrico Scala, Lukás Chrpa
A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles. ITSC (2021)
Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Jan Cuhel, Anastasiia Livochka, Stefan Edelkamp
Adversary Strategy Sampling for Effective Plan Generation. SOCS (2021)
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter
On the Importance of Domain Model Configuration for Automated Planning Engines. J. Autom. Reason. 65 (6) (2021)
Wolfgang Faber, Michael Morak, Lukás Chrpa
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. Theory Pract. Log. Program. 21 (5) (2021)
Lukás Chrpa, Jakub Gemrot, Martin Pilát
Planning and Acting with Non-Deterministic Events: Navigating between Safe States. AAAI (2020)
Lukás Chrpa, Pavel Rytír, Rostislav Horcík
Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions. SOCS (2020)
Michael Morak, Lukás Chrpa, Wolfgang Faber, Daniel Fiser
On the Reversibility of Actions in Planning. KR (2020)
Mauro Vallati, Lukás Chrpa
A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions. Australasian Conference on Artificial Intelligence (2020)
Mauro Vallati, Lukás Chrpa, Ivan Serina
MEvo: a framework for effective macro sets evolution. J. Exp. Theor. Artif. Intell. 32 (4) (2020)
Mauro Vallati, Lukás Chrpa
Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study. Australasian Conference on Artificial Intelligence (2020)
Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak
Determining Action Reversibility in STRIPS Using Answer Set Programming. ICLP Workshops (2020)
Marta Vomlelová, Jindrich Vodrázka, Roman Barták, Lukás Chrpa
Automated Acquisition of Control Knowledge for Classical Planners. ICAART (2) (2020)
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter
On the Importance of Domain Model Configuration for Automated Planning Engines. CoRR (2020)
Lukás Chrpa, Martin Pilát, Jakub Gemrot
Compiling Planning Problems with Non-deterministic Events into FOND Planning. RCRA/RiCeRcA@AI*IA (2019)
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning. ICCS (5) (2019)
Mauro Vallati, Lukás Chrpa
On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge. K-CAP (2019)
Leah A. Chrestien, Lukás Chrpa
Appropriate Expressiveness of Planning Domain Models: An Urban Traffic Control Case Study. K-CAP (2019)
Lukás Chrpa, Mauro Vallati
Improving Domain-Independent Planning via Critical Section Macro-Operators. AAAI (2019)
Pavel Rytír, Lukás Chrpa, Branislav Bosanský
Using Classical Planning in Adversarial Problems. ICTAI (2019)
Isabel Cenamor, Mauro Vallati, Lukás Chrpa
On the predictability of domain-independent temporal planners. Comput. Intell. 35 (4) (2019)
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
Inner entanglements: Narrowing the search in classical planning by problem reformulation. Comput. Intell. 35 (2) (2019)
Lukás Chrpa, Mauro Vallati, Simon Parkinson
Exploiting automated planning for efficient centralized vehicle routing and mitigating congestion in urban road networks. SAC (2019)
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms. J. Exp. Theor. Artif. Intell. 30 (6) (2018)
Lukás Chrpa, Mauro Vallati
Determining Representativeness of Training Plans: A Case of Macro-Operators. ICTAI (2018)
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation. ICCS (1) (2018)
Mauro Vallati, Lukás Chrpa
A Principled Analysis of the Interrelation between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles. ITSC (2018)
Tomás Skerík, Lukás Chrpa, Wolfgang Faber, Mauro Vallati
Automated Training Plan Generation for Athletes. SMC (2018)
Tomás Balyo, Lukás Chrpa
Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks. SOCS (2018)
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey
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. 33 (2018)
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)
Lukás Chrpa, Nir Lipovetzky, Sebastian Sardiña
Handling non-local dead-ends in Agent Planning Programs. IJCAI (2017)
Lukás Chrpa, José Pinto, Tiago Sa Marques, Manuel A. Ribeiro, João Borges de Sousa
Mixed-initiative planning, replanning and execution: From concept to field testing using AUV fleets. IROS (2017)
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey
Improving a Planner's Performance through Online Heuristic Configuration of Domain Models. SOCS (2017)
Mauro Vallati, Lukás Chrpa, Ivan Serina
On the Evolution of Planner-Specific Macro Sets. AI*IA (2017)
Lukás Chrpa, Thomas Leo McCluskey, Mauro Vallati, Tiago Vaquero
The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends. AI Mag. 38 (1) (2017)
Simon Parkinson, Andrew Longstaff, Simon Fletcher, Mauro Vallati, Lukás Chrpa
On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption between Manufacturing Operations. ICAPS (2017)
Lukás Chrpa, Jakub Gemrot, Martin Pilát
Towards a Safer Planning and Execution Concept. ICTAI (2017)
Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo McCluskey
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. AAAI (2016)
Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne
On the completeness of replacing primitive actions with macro-actions and its generalization to planning operators and macro-operators. AI Commun. 29 (1) (2016)
Lukás Chrpa, Mauro Vallati
On the exploitation of Automated Planning for efficient decision making in road traffic accident management. CDC (2016)
Lukás Chrpa, Roman Barták
Guiding Planning Engines by Transition-Based Domain Control Knowledge. KR (2016)
Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations. Intelligenza Artificiale 10 (2) (2016)
Tomás Skerík, Wolfgang Faber, Lukás Chrpa
Proposing of Planning System for Sports Domain: A Tool for Professional Coaches. PlanSIG (2016)
Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations. IPS@AI*IA (2015)
Mauro Vallati, Frank Hutter, Lukás Chrpa, Thomas Leo McCluskey
On the Effective Configuration of Planning Domain Models. IJCAI (2015)
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
On the Online Generation of Effective Macro-Operators. IJCAI (2015)
Lukás Chrpa, José Pinto, Manuel A. Ribeiro, Frederic Py, João Borges de Sousa, Kanna Rajan
On mixed-initiative planning and control for Autonomous underwater vehicles. IROS (2015)
Raquel Fuentetaja, Lukás Chrpa, Thomas Leo McCluskey, Mauro Vallati
Exploring the Synergy between Two Modular Learning Techniques for Automated Planning. SOCS (2015)
Mauro Vallati, Lukás Chrpa, Marek Grzes, Thomas Leo McCluskey, Mark Roberts, Scott Sanner
The 2014 International Planning Competition: Progress and Trends. AI Mag. 36 (3) (2015)
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
Portfolio-based planning: State of the art, common practice and open challenges. AI Commun. 28 (4) (2015)
Lukás Chrpa, Fazlul Hasan Siddiqui
Exploiting Block Deordering for Improving Planners Efficiency. IJCAI (2015)
Lukás Chrpa, Enrico Scala, Mauro Vallati
Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements. SOCS (2015)
Tomás Balyo, Lukás Chrpa, Asma Kilani
On Different Strategies for Eliminating Redundant Actions from Plans. SOCS (2014)
Gerhard Wickler, Lukás Chrpa, Thomas Leo McCluskey
KEWI - A Knowledge Engineering Tool for Modelling AI Planning Tasks. KEOD (2014)
Gerhard Wickler, Lukás Chrpa, Thomas Leo McCluskey
Ontological Support for Modelling Planning Knowledge. IC3K (Selected Papers) (2014)
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
ASAP: An Automatic Algorithm Selection Approach for Planning. Int. J. Artif. Intell. Tools 23 (6) (2014)
Lukás Chrpa, Hugh Osborne
Towards a Trajectory Planning Concept: Augmenting Path Planning Methods by Considering Speed Limit Constraints. J. Intell. Robotic Syst. 75 (2) (2014)
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use. ICAPS (2014)
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey
Determining Linearity of Optimal Plans by Operator Schema Analysis. SARA (2013)
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
An Automatic Algorithm Selection Approach for Planning. ICTAI (2013)
Lukás Chrpa, Mauro Vallati
Revisiting Inner Entanglements in Classical Planning. SCAI (2013)
Mauro Vallati, Lukás Chrpa, Andrew Crampton
Underestimation vs. Overestimation in SAT-Based Planning. AI*IA (2013)
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey, Diane E. Kitchin
Generating Macro-Operators by Exploiting Inner Entanglements. SARA (2013)
Mohammad Munshi Shahin Shah, Lukás Chrpa, Diane E. Kitchin, Thomas Leo McCluskey, Mauro Vallati
Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain. IJCAI (2013)
Falilat Jimoh, Lukás Chrpa, Mauro Vallati
Autonomic System Architecture: An Automated Planning Perspective. AIAI (2013)
Lukás Chrpa, Mauro Vallati, Hugh Osborne
Learnability of Specific Structural Patterns of Planning Problems. ICTAI (2013)
Falilat Jimoh, Lukás Chrpa, Thomas Leo McCluskey, Shahin Shah
Towards application of automated planning in urban traffic control. ITSC (2013)
Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne
Optimizing Plans through Analysis of Action Dependencies and Independencies. ICAPS (2012)
Lukás Chrpa, Thomas Leo McCluskey
On Exploiting Structures of Classical Planning Problems: Generalizing Entanglements. ECAI (2012)
Munir Naveed, Diane E. Kitchin, Andrew Crampton, Lukás Chrpa, Peter Gregory
A Monte-Carlo path planner for dynamic and partially observable environments. CIG (2012)
Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne
Reformulating Planning Problems: A Theoretical Point of View. FLAIRS Conference (2012)

Lukás Chrpa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lukás Chrpa