Home › Entities › academia › Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time

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

Research article (IFAC-PapersOnLine, 2018) · cited 14× · AI/ML
academia openalex:W2888839644
Press Enter · cited answer in seconds

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

Summary

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time is a scholarly article[1].

Key Facts

  • Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time's instance of is recorded as scholarly article[2].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. Retrieved May 24, 2026, from https://4ort.xyz/entity/falsification-of-temporal-logic-requirements-using-gradient-based-local-search-in-space-and-time
MLA “Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/falsification-of-temporal-logic-requirements-using-gradient-based-local-search-in-space-and-time.
BibTeX @misc{4ortxyz_falsification-of-temporal-logic-requirements-using-gradient-based-local-search-in-space-and-time_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time}}, year = {2026}, url = {https://4ort.xyz/entity/falsification-of-temporal-logic-requirements-using-gradient-based-local-search-in-space-and-time}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time — https://4ort.xyz/entity/falsification-of-temporal-logic-requirements-using-gradient-based-local-search-in-space-and-time (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/falsification-of-temporal-logic-requirements-using-gradient-based-local-search-in-space-and-time · Last refreshed: