@Inproceedings{EPTCS409.7, author = {Chini, Emanuele and Sala, Pietro and Simonetti, Andrea and Zare, Omid}, year = {2024}, title = {Reactive Synthesis for Expected Impacts}, editor = {Achilleos, Antonis and Francalanza, Adrian}, booktitle = {{\rm Proceedings Fifteenth International Symposium on} Games, Automata, Logics, and Formal Verification, {\rm Reykjavik, Iceland, 19-21 June 2024}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {409}, publisher = {Open Publishing Association}, pages = {35-52}, doi = {10.4204/EPTCS.409.7}, }