Efficiently Computing Transitions in Cartesian Abstractions.

Jendrik Seipp

Browse the full ICAPS paper archive.