TY  - RPRT
TI  - Comparator automata in quantitative verification
AU  - Suguman Bansal
AU  - Swarat Chaudhuri
AU  - Moshe Y. Vardi
PY  - 2022
DO  - 10.46298/lmcs-18(3:13)2022
UR  - https://arxiv.org/abs/1812.06569
ID  - 1812.06569
ER  -