Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts | IEEE Conference Publication | IEEE Xplore