TY  - RPRT
TI  - Incorporating Monitors in Reactive Synthesis without Paying the Price
AU  - Shaun Azzopardi
AU  - Nir Piterman
AU  - Gerardo Schneider
PY  - 2021
UR  - https://arxiv.org/abs/2107.00929
ID  - 2107.00929
ER  -