Space Efficient Reachability Analysis Through Use of Pseudo-Root States.

Atanas N. Parashkevov, Jay Yantchev

Browse the full TACAS paper archive.