- AI-based Problem Solving and Planning
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
- Model-Driven Software Engineering Techniques
- Multi-Agent Systems and Negotiation
- Robotic Path Planning Algorithms
- Constraint Satisfaction and Optimization
- Traffic control and management
- Formal Methods in Verification
- Transportation Planning and Optimization
- Logic, programming, and type systems
- Data Management and Algorithms
- Advanced Database Systems and Queries
- Autonomous Vehicle Technology and Safety
- Traffic Prediction and Management Techniques
- Transportation and Mobility Innovations
- Vehicular Ad Hoc Networks (VANETs)
- Advanced Software Engineering Methodologies
- Manufacturing Process and Optimization
- Artificial Intelligence in Games
- Robotics and Sensor-Based Localization
- Complex Systems and Decision Making
- Software Testing and Debugging Techniques
- Service-Oriented Architecture and Web Services
- Bayesian Modeling and Causal Inference
Czech Technical University in Prague
2011-2025
Institute of Informatics of the Slovak Academy of Sciences
2024
University of Huddersfield
2012-2021
Charles University
2007-2021
RMIT University
2017
The University of Melbourne
2017
This article reviews the 2014 International Planning Competition (IPC‐2014), eighth in a series of competitions starting 1998. IPC‐2014 was held three separate parts to assess state art prominent areas planning research: deterministic (classical) part (IPCD), learning (IPCL), and probabilistic (IPPC). Each evaluated systems ways that pushed edge existing planner performance by introducing new challenges, novel tasks, or both. The competition surpassed again number competitors participated...
The global growth in urbanisation increases the demand for services including road transport infrastructure, presenting challenges terms of mobility. In this scenario, optimising exploitation urban networks is a pivotal challenge. Existing traffic control approaches, based on complex mathematical models, can effectively deal with planned-ahead events, but are not able to cope unexpected situations --such as roads blocked due car accidents or weather-related events-- because their huge...
Centralised Traffic Routing offers a global perspective of the entire region, enabling effective route finding for vehicles that navigate through region. Recently, automated planning techniques were leveraged centralised traffic routing. However, routing might generate different routes even if they share same origin and destination arrive at similar time. Also, are usually computationally demanding. In this paper, we analyse outputs planning-based method in terms number per journey,...
Abstract There are many approaches for solving planning problems. Many of these based on ‘brute force’ search methods and they usually do not care about structures plans previously computed in particular domains. By analyzing structures, we can obtain useful knowledge that help us find solutions to more complex The method described this paper is designed gathering macro-operators by training plans. This sort analysis the investigation action dependencies Knowledge gained our be passed...
Research into techniques that reformulate problems to make general solvers more efficiently derive solutions has attracted much attention, in particular when the reformulation process is some degree solver and domain independent. There are major challenges overcome applying such automated planning, however: methods as adding macro-operators (macros, for short) can be detrimental because they tend increase branching factors during solution search, while other learning entanglements limit a...
Abstract The International Planning Competition (IPC) is a prominent event of the artificial intelligence planning community that has been organized since 1998; it aims at fostering development and comparison approaches, assessing state-of-the-art in identifying new challenging benchmarks. IPC strong impact also outside community, by providing large number ready-to-use engines testing pioneering applications techniques. This paper focusses on deterministic part 2014, describes format,...
The global growth in urbanisation increases the demand for services including road transport infrastructure, presenting challenges terms of mobility. These trends are occurring context concerns around environmental issues poor air quality and related carbon dioxide emissio ns. One out several ways to help meet these is intelligent routing traffic through congested urban areas. Our goal show feasibility using automated planning perform this routing, taking into account a knowledge vehicle...
The problem of automated planning is known to be intractable in general. Moreover, it has been proven that some cases finding an optimal solution much harder than any solution. Existing techniques have compromise between speed the process and quality solutions. For example, based on greedy search often are able obtain solutions quickly, but usually low. Similarly, adding macro-operators domains enables speed-up, sequences typically longer. In this paper, we propose a method for optimizing...
Supervision and control of Autonomous underwater vehicles (AUVs) has traditionally been focused on an operator determining a priori the sequence waypoints single vehicle for mission. As AUVs become more ubiquitous as scientific tool, we envision need controlling multiple which would impose less cognitive burden with abstract form human-in-the-loop control. Such mixed-initiative methods in goal-oriented commanding are new oceanographic domain describe motivations preliminary experiments...
Checking whether action effects can be undone is an important question for determining, instance, a planning task has dead-ends. In this paper, we investigate the reversibility of actions, that is, when reverted by applying other in order to return original state. We propose broad notion generalizes previously defined versions and interesting properties relevant restrictions. particular, concept uniform guarantees independently state which was applied, using so-called reverse plan. addition,...
Advanced urban traffic control systems are often based on feed-back algorithms. For instance, current operate the basis of adaptive green phases and flexible co-ordination in road (sub) networks measured conditions. However, these approaches still not very efficient during unforeseen situations such as incidents when changes requested a short time interval. Therefore, we need self-managing that can plan act effectively order to restore an unexpected into normal order. A significant step...
The current growth in urbanisation is posing serious problems urban areas worldwide.Traditional traffic control tools, such as SCOOT and SCATS, are widely exploited major cities, but given the increasing demands, they need to be complemented with additional mechanisms.Within this context, emerging interest autonomous vehicles (AVs) points direction of a paradigm shift way which controlled managed.This due fact that AVs can exploit different types communication, hence take better informed...
One of the pivotal challenges presented to urban road traffic controllers is effective utilisation transport infrastructure, as a result growing urbanisation, finite network capacity, and increasing number vehicles. The arrival connected autonomous vehicles (CAVs) represents unique opportunity for fundamental change in mobility, control should take an active role integrating CAVs into mobility ecosystem order maximise benefits. A practical way exploit build intelligent mechanism that can...
One of the pivotal challenges presented to urban traffic controllers is effective utilization transport infrastructure, as a result growing urbanization and increasing number vehicles.