@misc{indiciaed43f3eb03d74,
  title = {Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design},
  author = {Inigo Incer and Apurva Badithela and Josefine Graebener and Piergiuseppe Mallozzi and Ayush Pandey and Sheng-Jung Yu and Albert Benveniste and Benoit Caillaud and Richard M. Murray and Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia},
  year = {2023},
  doi = {10.1145/3704736},
  url = {https://arxiv.org/abs/2303.17751},
  note = {Source identifier: 2303.17751}
}