@inproceedings{AKRV17,
  author    = {S. Almagor and  O. Kupferman and J.O. Ringert and Y. Velner},
  title     = {Quantitative Assume Guarantee Synthesis},
  booktitle = cav17,
  pages     = {353--374},
  series    = lncs,
  volume    = {10427},
  publisher = {Springer},
  year      = {2017}
  }