From Reachability to Temporal Specifications in Cost-Sharing Games.

Guy Avni, Orna Kupferman, Tami Tamir

Browse the full CADE paper archive.