Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.

Harald Fecher, Michael Huth

Browse the full ATVA paper archive.