OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Miquel Ramirez
Postdoc, School of Computer Science and IT (SCSIT), Adelaide University
Joined
May 2018
Names
Miquel Ramirez
(Preferred)
,
Miguel Ramirez
,
Miquel Ramírez
,
Miguel Ramírez
Emails
****@unimelb.edu.au
(Confirmed)
,
****@unimelb.edu.au
(Confirmed)
,
****@pm.me
(Confirmed)
,
****@adelaide.edu.au
(Confirmed)
Personal Links
Google Scholar
DBLP
LinkedIn
Career & Education History
Postdoc
School of Computer Science and IT (SCSIT),
Adelaide University
(adelaide.edu.au)
2025
–
Present
Postdoc
Dept. Electrical and Electronic Engineering,
The University of Melbourne
(unimelb.edu.au)
2016
–
2025
Postdoc
College of Electrical Engineering and Computer Science,
Australian National University
(anu.edu.au)
2014
–
2016
Postdoc
School of Computer Science and IT,
Royal Melbourne Institute of Technology
(rmit.edu.au)
2012
–
2014
PhD student
Department of Information and Communication Technology,
Universitat Pompeu Fabra
(upf.edu)
2006
–
2012
Advisors, Relations & Conflicts
Coworker
Jonathan D. Thomas
2025
–
Present
Social
Nir Lipovetzky
2008
–
Present
Social
Hector Geffner
2006
–
Present
Expertise
planning
,
optimization
,
logic
,
temporal
,
mixed discrete-continuous
2014
–
Present
planning
,
optimal control
,
hybrid systems
2014
–
Present
planning
,
uncertainty
,
optimization
2010
–
Present
planning
,
intention recognition
2008
–
Present
SAT
,
CSP
,
optimization
2006
–
Present
Publications
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
Miquel Ramirez
,
Anubhav Singh
,
Chris Manzie
,
Peter J. Stuckey
arXiv
Readers:
Everyone
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
Miquel Ramírez
,
Anubhav Singh
,
Peter J. Stuckey
,
Chris Manzie
CoRR 2024
Readers:
Everyone
Kinodynamic Motion Planning via Branch-and-Cut Over Probabilistic Roadmaps
Miquel Ramírez
,
Daniel Selvaratnam
,
Chris Manzie
IEEE Robotics Autom. Lett. 2024
Readers:
Everyone
Kinodynamic Motion Planning via Branch-and-Cut Over Probabilistic Roadmaps
Miquel Ramirez
,
Daniel Selvratnam
,
Chris Manzie
IEEE Robotics and Automation Letters
Readers:
Everyone
Lifted Sequential Planning with Lazy Constraint Generation Solvers
Anubhav Singh
,
Miquel Ramirez
,
Nir Lipovetzky
,
Peter J. Stuckey
ARXIV
Readers:
Everyone
Approximate Novelty Search
Anubhav Singh
,
Nir Lipovetzky
,
Miquel Ramirez
,
Javier Segovia-Aguas
ICAPS
Readers:
Everyone
Lifted Sequential Planning with Lazy Constraint Generation Solvers
Anubhav Singh
,
Miquel Ramírez
,
Nir Lipovetzky
,
Peter J. Stuckey
Published: 01 Jan 2023, Last Modified: 17 Dec 2023
CoRR 2023
Readers:
Everyone
Explaining the Behaviour of Hybrid Systems with PDDL+ Planning
Diego Aineto
,
Eva Onaindia
,
Miquel Ramírez
,
Enrico Scala
,
Ivan Serina
Published: 01 Jan 2022, Last Modified: 10 May 2023
IJCAI 2022
Readers:
Everyone
Lazy Probabilistic Roadmaps Revisited
Miquel Ramírez
,
Daniel Selvaratnam
,
Chris Manzie
Published: 01 Jan 2022, Last Modified: 17 Dec 2023
CoRR 2022
Readers:
Everyone
Sampling from Pre-Images to Learn Heuristic Functions for Classical Planning
Stefan O'Toole
,
Miquel Ramírez
,
Nir Lipovetzky
,
Adrian R. Pearce
Published: 01 Jan 2022, Last Modified: 17 Dec 2023
CoRR 2022
Readers:
Everyone
View all 34 publications
Co-Authors
Adrian Pearce
Adrian R. Pearce
Aleck M. MacNally
Alexandre Albore
Anubhav Singh
Chris Manzie
Dan Gordon
Dana S. Nau
Daniel Selvaratnam
Daniel Selvratnam
Diego Aineto
Enrico Scala
Eva Onaindia
Felipe Meneguzzi
Florent Teichteil-Königsbuch
Franc Ivankovic
Grady Fitzpatrick
Hector Geffner
Iman Shames
Ivan Serina
Javier Segovia Aguas
Javier Segovia-Aguas
Luis Cuevas
Lyndon Benke
Michael Papasimeon
View all 38 co-authors