TY  - RPRT
TI  - Symbolic construction of GR(1) contracts for synchronous systems with full information
AU  - Ioannis Filippidis
AU  - Richard M. Murray
PY  - 2015
UR  - https://arxiv.org/abs/1508.02705
ID  - 1508.02705
ER  -