Searching for Ribbon-Shaped Paths in Fair Transition Systems.

Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktria Vozrov

Browse the full TACAS paper archive.