Lipovetzky, Nir

16 publications

AAAI 2025 Planning in the Dark: LLM-Symbolic Planning Pipeline Without Experts Sukai Huang, Nir Lipovetzky, Trevor Cohn

AAAI 2025 State-Based Disassembly Planning Chao Lei, Nir Lipovetzky, Krista A. Ehinger

AAAI 2024 Generalized Planning for the Abstraction and Reasoning Corpus Chao Lei, Nir Lipovetzky, Krista A. Ehinger

AAAI 2024 Model AI Assignments 2024 Todd W. Neller, Pia Bideau, David Bierbach, Wolfgang Hönig, Nir Lipovetzky, Christian Muise, Lino Coria, Claire Wong, Stephanie Rosenthal, Yu Lu, Ming Gao, Jingjing Zhang

JAIR 2022 Planning with Perspectives - Decomposing Epistemic Planning Using Functional STRIPS Guang Hu, Tim Miller, Nir Lipovetzky

IJCAI 2021 Width-Based Algorithms for Common Problems in Control, Planning and Reinforcement Learning Nir Lipovetzky

NeurIPS 2021 Width-Based Lookaheads with Learnt Base Policies and Heuristics over the Atari-2600 Benchmark Stefan O'Toole, Nir Lipovetzky, Miquel Ramirez, Adrian Pearce

IJCAI 2020 Boundary Extension Features for Width-Based Planning with Simulators on Continuous-State Domains Florent Teichteil-Königsbuch, Miquel Ramírez, Nir Lipovetzky

AAAI 2017 Best-First Width Search: Exploration and Exploitation in Classical Planning Nir Lipovetzky, Hector Geffner

IJCAI 2017 Handling Non-Local Dead-Ends in Agent Planning Programs Lukás Chrpa, Nir Lipovetzky, Sebastian Sardiña

IJCAI 2017 Purely Declarative Action Descriptions Are Overrated: Classical Planning with Simulators Guillem Francès, Miquel Ramírez, Nir Lipovetzky, Hector Geffner

IJCAI 2017 Real-Time UAV Maneuvering via Automated Planning in Simulations Miquel Ramírez, Michael Papasimeon, Lyndon Benke, Nir Lipovetzky, Tim Miller, Adrian R. Pearce

IJCAI 2016 Sequencing Operator Counts Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky

IJCAI 2015 Classical Planning with Simulators: Results on the Atari Video Games Nir Lipovetzky, Miquel Ramírez, Hector Geffner

IJCAI 2013 Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners Fabio Patrizi, Nir Lipovetzky, Hector Geffner

IJCAI 2011 Computing Infinite Plans for LTL Goals Using a Classical Planner Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner