TY  - RPRT
TI  - Reactive Synthesis Without Regret
AU  - Paul Hunter
AU  - Guillermo A. Pérez
AU  - Jean-François Raskin
PY  - 2021
UR  - https://arxiv.org/abs/1504.01708
ID  - 1504.01708
ER  -