@misc{indiciae56826d5e0121, title = {Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime}, author = {Satya Prakash Nayak and Daniel Neider and Martin Zimmermann}, year = {2022}, doi = {10.1007/978-3-031-19849-6\_10}, url = {https://arxiv.org/abs/2204.10912}, note = {Source identifier: 2204.10912} }