@misc{indiciaedd8e05a30510,
  title = {Contract-Based Specification Refinement and Repair for Mission Planning},
  author = {Piergiuseppe Mallozzi and Inigo Incer and Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli},
  year = {2022},
  url = {https://arxiv.org/abs/2211.11908},
  note = {Source identifier: 2211.11908}
}