@misc{indiciaed6b1d6a57419,
  title = {Reactive Synthesis for Expected Impacts},
  author = {Emanuele Chini and Pietro Sala and Andrea Simonetti and Omid Zare},
  year = {2024},
  doi = {10.4204/eptcs.409.7},
  url = {https://arxiv.org/abs/2410.22760},
  note = {Source identifier: 2410.22760}
}