# Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time

> Research article (IFAC-PapersOnLine, 2018) · cited 14× · AI/ML

**Wikidata**: [openalex:W2888839644](https://www.wikidata.org/wiki/openalex:W2888839644)  
**Source**: https://4ort.xyz/entity/falsification-of-temporal-logic-requirements-using-gradient-based-local-search-in-space-and-time