# Hyperproperties of real-valued signals

> Research article (Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017) · cited 40× · AI/ML

**Wikidata**: [openalex:W2757813108](https://www.wikidata.org/wiki/openalex:W2757813108)  
**Source**: https://4ort.xyz/entity/hyperproperties-of-real-valued-signals