Picture for Yolanda E-Martin

Yolanda E-Martin

Guarantees for Sound Abstractions for Generalized Planning (Extended Paper)

Add code
May 31, 2019
Figure 1 for Guarantees for Sound Abstractions for Generalized Planning (Extended Paper)
Viaarxiv icon