edoc

Items where Author is "Abdulaziz, Mohammad"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed
Jump to: 2022
Number of items: 1.

2022

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 Wed Jun 12 23:26:00 2024 CEST.