TY  - RPRT
TI  - Assume-Admissible Synthesis
AU  - Romain Brenguier
AU  - Jean-François Raskin
AU  - Ocan Sankur
PY  - 2015
UR  - https://arxiv.org/abs/1507.00623
ID  - 1507.00623
ER  -