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 Thu Nov 21 10:57:34 2024 CET.
edoc is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.