Miquel Ramirez Javega

Subgoaling techniques for satisficing and optimal numeric planning

E Scala, P Haslum, S Thiébaux, M Ramirez

Journal article  |  2020  |  Journal of Artificial Intelligence Research

This paper studies novel subgoaling relaxations for automated planning with propositional and numeric state variables. Subgoaling ..

Online Probabilistic Goal Recognition over Nominal Models

Ramon Fraga Pereira, Mor Vered, Felipe Meneguzzi, Miquel Ramírez

Conference Proceedings  |  2019  |  Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence

This paper revisits probabilistic, model-based goal recognition to study the implications of the use of nominal models to estimate..

Model Recognition as Planning

Diego Aineto, Sergio Jimenez, Eva Onaindia, Miguel Ramirez Javega

Conference Proceedings  |  2019  |  Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019)

Given a partially observed plan execution, and a set of pos-sible planning models (models that share the same state vari-ables but..

Width-Based Lookaheads Augmented with Base Policies for Stochastic Shortest Paths

Stefan O’Toole, Miquel Ramirez, Nir Lipovetzky, Adrian Pearce

Conference Proceedings  |  2019  |  Proceedings of the 29th International Conference on Automated Planning and Scheduling

Sequential decision problems for real-world applications often need to be solved in real-time, requiring algorithms to perform wel..

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning

Patrik Haslum, Franc Ivankovic, Miquel Ramirez, Dan Gordon, Sylvie Thiebaux, Vikas Shivashankar, Dana S Nau

Journal article  |  2018  |  Journal of Artificial Intelligence Research

Tarski: a framework for modeling planning problems

Miguel Ramirez Javega, Guillem Frances

Software / Code  |  2018

Action Selection for Transparent Planning

Aleck M MacNally, Nir Lipovetzky, Miquel Ramirez, Adrian R Pearce

Conference Proceedings  |  2018  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Integrated Hybrid Planning and Programmed Control for Real–Time UAV Maneuvering

Miquel Ramirez, Michael Papasimeon, Nir Lipovetzky, Lyndon Benke, Tim Miller, Adrian R Pearce, Enrico Scala, Mohammad Zamani

Conference Proceedings  |  2018  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Real-Time UAV Maneuvering via Automated Planning in Simulations

M Ramirez Javega, M Papasimeon, L Benke, N Lipovetzky, T Miller, A Pearce

Conference Proceedings  |  2017  |  Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

The automatic generation of realistic behaviour such as tactical intercepts for Unmanned Aerial Vehicles (UAV) in air combat is a ..

Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains

Miquel Ramirez, Enrico Scala, Patrik Haslum, Sylvie Thiebaux

Report  |  2017