Publications

87 results for Michael Katz

Lemming: A Tool for Guided Plan Selection using Landmarks
- - Jung koo Kang
  - Tathagata Chakraborti
  - et al.
- 2023
- ICAPS 2023
Demo paper
A Text-based Safety Benchmark for Reinforcement Learning Problems
- - Ngoc Lan Hoang
  - Nicolas Galichet
  - et al.
- 2022
- NeurIPS 2022
Poster
A Conflict-Driven Interface between Symbolic Planning and Nonlinear Constraint Solving
- - Joaquim Ortiz-Haro
  - Erez Karpas
  - et al.
- 2022
- IEEE Robotics and Automation Letters
Paper
On Producing Shortest Cost-Optimal Plans
- - Michael Katz
  - Gabriele Roeger
  - et al.
- 2022
- SoCS 2022
Conference paper
Bounding Quality in Diverse Planning
- - Michael Katz
  - Shirin Sohrabi
  - et al.
- 2022
- AAAI 2022
Conference paper
How to Reduce Action Space for Planning Domains? (Student Abstract)
- - Harsha Kokel
  - Junkyu Lee
  - et al.
- 2022
- AAAI 2022
Conference paper
A* Search and Bound-Sensitive Heuristics for Oversubscription Planning
- - Michael Katz
  - Emil Keyder
- 2022
- AAAI 2022
Conference paper
Conflict-Directed Diverse Planning for Logic-Geometric Programming
- - Joaquim Ortiz-Haro
  - Erez Karpas
  - et al.
- 2022
- ICAPS 2022
Conference paper
Who Needs These Operators Anyway: Top Quality Planning with Operator Subset Criteria
- - Michael Katz
  - Shirin Sohrabi
- 2022
- ICAPS 2022
Conference paper
Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators
- - Clement Gehring
  - Masataro Asai
  - et al.
- 2022
- ICAPS 2022
Conference paper