A divide and conquer approach to until and until stable model checking.

Canh Minh Do, Yati Phyo, Kazuhiro Ogata

Browse the full SEKE paper archive.