Set-Based Analysis of Reactive Infinite-State Systems.

Witold Charatonik, Andreas Podelski

Browse the full TACAS paper archive.