Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion.

Suguman Bansal, Moshe Y. Vardi

Browse the full CAV paper archive.