# Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts

> Research article (2022 IEEE 61st Conference on Decision and Control (CDC), 2022) · cited 15× · AI/ML

**Wikidata**: [openalex:W4225725160](https://www.wikidata.org/wiki/openalex:W4225725160)  
**Source**: https://4ort.xyz/entity/compositional-synthesis-of-signal-temporal-logic-tasks-via-assume-guarantee-contracts