Localized Attractor Computations for Infinite-State Games.

Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak

Browse the full CAV paper archive.