# Reactive synthesis from signal temporal logic specifications

> Research article (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015) · cited 256× · AI/ML

**Wikidata**: [openalex:W2095274657](https://www.wikidata.org/wiki/openalex:W2095274657)  
**Source**: https://4ort.xyz/entity/reactive-synthesis-from-signal-temporal-logic-specifications