Alternating Reachability Games with Behavioral and Revenue Objectives.

Orna Kupferman, Tami Tamir

Browse the full LPAR paper archive.