Symposium on Abstraction, Reformulation, and Approximation
Eighth Symposium on Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
Downward Path Preserving State Space Abstractions (Extended Abstract)

Zilles, Holte




Search conference