Temporal Logic

By Antony Galton. Lecture Notes in Computer Science, 2021

301 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems

View Paper: https://www.semanticscholar.org/paper/ef87b429989421843acb9704d75969bb779662ec