On the Construction of Fine Automata for Safety Properties.

Orna Kupferman, Robby Lampert

Browse the full ATVA paper archive.