TY  - RPRT
TI  - Adapting Behaviors via Reactive Synthesis
AU  - Gal Amram
AU  - Suguman Bansal
AU  - Dror Fried
AU  - Lucas M. Tabajara
AU  - Moshe Y. Vardi
AU  - Gera Weiss
PY  - 2021
UR  - https://arxiv.org/abs/2105.13837
ID  - 2105.13837
ER  -