Automatic Discovery of Fair Paths in Infinite-State Transition Systems.

Alessandro Cimatti, Alberto Griggio, Enrico Magnago

Browse the full ATVA paper archive.