Ranking Automata and Games for Prioritized Requirements.

Rajeev Alur, Aditya Kanade, Gera Weiss

Browse the full CAV paper archive.