TY  - RPRT
TI  - Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
AU  - Roderick Bloem
AU  - Krishnendu Chatterjee
AU  - Swen Jacobs
AU  - Robert Koenighofer
PY  - 2014
UR  - https://arxiv.org/abs/1411.4604
ID  - 1411.4604
ER  -