Items where Author is "Katz, Michael"

2022

Katz, Michael and Röger, Gabriele and Helmert, Malte. (2022) On Producing Shortest Cost-Optimal Plans. In: Proceedings of the Fifteenth International Symposium on Combinatorial Search (SoCS 2022). pp. 100-108.

Muise, Christian and Pommerening, Florian and Seipp, Jendrik and Katz, Michael. (2022) Planutils: Bringing Planning to the Masses. 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). System Demonstrations.

2020

Ma, Tengfei and Ferber, Patrick and Huo, Siyu and Chen, Jie and Katz, Michael. (2020) Online Planner Selection with Graph Neural Networks and Adaptive Scheduling. In: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), 34. pp. 5077-5084.

2019

Sievers, Silvan and Katz, Michael and Sohrabi, Shirin and Samulowitz, Horst and Ferber, Patrick. (2019) Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), 33. pp. 7715-7723.

Ferber, Patrick and Ma, Tengfei and Huo, Siyu and Chen, Jie and Katz, Michael. (2019) IPC: A Benchmark Data Set for Learning with Graph-Structured Data. Proceedings in the ICML 2019 Workshop on Learning and Reasoning with Graph-Structured Representations.

Katz, Michael and Keyder, Emil and Pommerening, Florian and Winterer, Dominik. (2019) Oversubscription Planning as Classical Planning with Multiple Cost Functions. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 237-245.

Sievers, Silvan and Röger, Gabriele and Wehrle, Martin and Katz, Michael. (2019) Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 446-454.

2018

Katz, Michael and Sohrabi, Shirin and Samulowitz, Horst and Sievers, Silvan. (2018) Delfi: Online Planner Selection for Cost-Optimal Planning (planner abstract). Ninth International Planning Competition (IPC 2018).

Sievers, Silvan and Katz, Michael. (2018) Metis 2018 (planner abstract). Ninth International Planning Competition (IPC 2018).

Katz, Michael and Mirkis, Vitaly and Pommerening, Florian and Winterer, Dominik. (2018) Reformulating Oversubscription Planning Tasks. In: Proceedings of the 10 th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). Delft, pp. 81-88.

Röger, Gabriele and Sievers, Silvan and Katz, Michael. (2018) Symmetry-based Task Reduction for Relaxed Reachability Analysis. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). pp. 208-217.

2017

Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Katz, Michael. (2017) Strengthening Canonical Pattern Databases with Structural Symmetries. In: Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017). pp. 91-99.

Winterer, Dominik and Alkhazraji, Yusra and Katz, Michael and Wehrle, Martin. (2017) Stubborn Sets for Fully Observable Nondeterministic Planning. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).

Winterer, Dominik and Alkhazraji, Yusra and Katz, Michael and Wehrle, Martin. (2017) Stubborn Sets for Fully Observable Nondeterministic Planning. In: Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling. Workshop on Model Checking and Automated Planning (MOCHAP). Palo Alto, California, pp. 330-338.

2016

Winterer, Dominik and Wehrle, Martin and Katz, Michael. (2016) Structural Symmetries for Fully Observable Nondeterministic Planning. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, California, pp. 3293-3299.

2015

Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Katz, Michael. (2015) An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. In: Proceedings of the 38th Annual German Conference on Artificial Intelligence. Cham, pp. 166-180.

Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael. (2015) Factored symmetries for merge-and-shrink abstractions. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3378-3385.

Shleyfman, Alexander and Katz, Michael and Helmert, Malte and Sievers, Silvan and Wehrle, Martin. (2015) Heuristics and symmetries in classical planning. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3371-3377.

Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael. (2015) Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Palo Alto, California, pp. 1712-1718.

2014

Alkhazraji, Yusra and Katz, Michael and Mattmüller, Robert and Pommerening, Florian and Shleyfman, Alexander and Wehrle, Martin. (2014) Metis: Arming Fast Downward with Pruning and Incremental Computation. Eighth International Planning Competition (IPC 2014), Deterministic Part. pp. 88-92.

2012

Katz, Michael and Hoffmann, Jörg and Helmert, Malte. (2012) How to relax a bisimulation? In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). Atibaia, pp. 101-109.