Items where Author is "Abdulaziz, Mohammad"

Group by: Date | Item Type | Refereed

Jump to: Other

Number of items: 1.

Other

Abdulaziz, Mohammad and Pommerening, Florian and Corrêa, Augusto B.. (2022) Mechanically Proving Guarantees of Generalized Heuristics: First Results and Ongoing Work. ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022). Proceedings.

This list was generated on Thu Apr 18 22:38:28 2024 CEST.

edoc is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.