TY  - RPRT
TI  - Reactive Synthesis: Branching Logics and Parameterized Systems
AU  - Ayrat Khalimov
PY  - 2018
UR  - https://arxiv.org/abs/1808.09430
ID  - 1808.09430
ER  -