@inproceedings{10.1007/978-3-030-25540-4_4,
    Abstract = {Discounted-sum inclusion (DS-inclusion, in short) formalizes the goal of comparing quantitative dimensions of systems such as cost, resource consumption, and the like, when the mode of aggregation for the quantitative dimension is discounted-sum aggregation. Discounted-sum comparator automata, or DS-comparators in short, are B{\"u}chi automata that read two infinite sequences of weights synchronously and relate their discounted-sum. Recent empirical investigations have shown that while DS-comparators enable competitive algorithms for DS-inclusion, they still suffer from the scalability bottleneck of B{\"u}chi operations.},
    Address = {Cham},
    Author = {Bansal, Suguman and Vardi, Moshe Y.},
    BookTitle = {Computer Aided Verification},
    Editor = {Dillig, Isil and Tasiran, Serdar},
    File = {Safety and co-safety comparator automata - Bansal-Vardi2019\_Chapter\_SafetyAndCo-safetyComparatorAu (0) - a - a - q.pdf},
    ISBN = {978-3-030-25540-4},
    Pages = {60--78},
    Publisher = {Springer International Publishing},
    Title = {Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion},
    Year = {2019},
    date-added = {2019-07-20 11:36:16 +0100},
    date-modified = {2019-07-20 11:36:16 +0100},
    doi = {10.1007/978-3-030-25540-4_4}
}

@inproceedings{10.1007/978-3-030-25540-4_4, Abstract = {Discounted-sum inclusion (DS-inclusion, in short) formalizes the goal of comparing quantitative dimensions of systems such as cost, resource consumption, and the like, when the mode of aggregation for the quantitative dimension is discounted-sum aggregation. Discounted-sum comparator automata, or DS-comparators in short, are B{\"u}chi automata that read two infinite sequences of weights synchronously and relate their discounted-sum. Recent empirical investigations have shown that while DS-comparators enable competitive algorithms for DS-inclusion, they still suffer from the scalability bottleneck of B{\"u}chi operations.}, Address = {Cham}, Author = {Bansal, Suguman and Vardi, Moshe Y.}, BookTitle = {Computer Aided Verification}, Editor = {Dillig, Isil and Tasiran, Serdar}, File = {Safety and co-safety comparator automata - Bansal-Vardi2019_Chapter_SafetyAndCo-safetyComparatorAu (0) - a - a - q.pdf}, ISBN = {978-3-030-25540-4}, Pages = {60--78}, Publisher = {Springer International Publishing}, Title = {Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion}, Year = {2019}, date-added = {2019-07-20 11:36:16 +0100}, date-modified = {2019-07-20 11:36:16 +0100}, doi = {10.1007/978-3-030-25540-4_4} }