A compilation of the full PDDL+ language into SMT

M Cashmore, M Fox, D Long… - Proceedings of the …, 2016 - ojs.aaai.org
Planning in hybrid systems is important for dealing with real-world applications. PDDL+
supports this representation of domains with mixed discrete and continuous dynamics, and …

Modeling and characterization of traffic flows in urban environments

JL Zambrano-Martinez, C T. Calafate, D Soler… - Sensors, 2018 - mdpi.com
Currently, one of the main challenges faced in large metropolitan areas is traffic congestion.
To address this problem, adequate traffic control could produce many benefits, including …

[PDF][PDF] On the Compilability of Bounded Numeric Planning.

N Gigante, E Scala - IJCAI, 2023 - ijcai.org
Bounded numeric planning, where each numeric variable domain is bounded, is PSPACE-
complete, but such a complexity result does not capture how hard it really is, since the same …

Towards providing explanations for AI planner decisions

R Borgo, M Cashmore, D Magazzeni - arXiv preprint arXiv:1810.06338, 2018 - arxiv.org
In order to engender trust in AI, humans must understand what an AI system is trying to
achieve, and why. To overcome this problem, the underlying AI process must produce …

Semantic labeling of mobile LiDAR point clouds via active learning and higher order MRF

H Luo, C Wang, C Wen, Z Chen, D Zai… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Using mobile Light Detection and Ranging point clouds to accomplish road scene labeling
tasks shows promise for a variety of applications. Most existing methods for semantic …

[PDF][PDF] Heuristic planning for PDDL+ domains

WM Piotrowski, M Fox, D Long, D Magazzeni… - Workshops at the …, 2016 - cdn.aaai.org
Planning with hybrid domains modelled in PDDL+ has been gaining research interest in the
Automated Planning community in recent years. Hybrid domain models capture a more …

Imitation learning based decision-making for autonomous vehicle control at traffic roundabouts

W Wang, L Jiang, S Lin, H Fang, Q Meng - Multimedia Tools and …, 2022 - Springer
The essential of developing an advanced driving assistance system is to learn human-like
decisions to enhance driving safety. When controlling a vehicle, joining roundabouts …

Spatiotemporal correlation study of traffic accidents with fatalities and injuries in Bogota (Colombia)

AF Ramírez, C Valencia - Accident Analysis & Prevention, 2021 - Elsevier
The planning and location of resources for urban traffic management generate complex
decision problems, given the uncertainty of variables that explain traffic behavior, the lack of …

Planning for hybrid systems via satisfiability modulo theories

M Cashmore, D Magazzeni, P Zehtabi - Journal of Artificial Intelligence …, 2020 - jair.org
Planning for hybrid systems is important for dealing with real-world applications, and PDDL+
supports this representation of domains with mixed discrete and continuous dynamics. In …

Embedding automated planning within urban traffic management operations

T McCluskey, M Vallati - … of the International Conference on Automated …, 2017 - ojs.aaai.org
This paper is an experience report on the results of an industry-led collaborative project
aimed at automating the control of traffic flow within a large city centre. A major focus of the …