Downward Path Preserving State Space Abstractions (Extended Abstract)

Open in new window