Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Reasoning with Temporal Logic on Truncated Paths
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
A compositional theory of refinement for branching time
A logic for reasoning about time and reliability
An Introduction to Temporal Graphs: An Algorithmic Perspective
Temporal logic with forgettable past
It Usually Works: The Temporal Logic of Stochastic Systems
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees
Temporal Constraint Networks
Graph traversal methods for reasoning in large knowledge-based systems
Temporal-Logic-Based Reactive Mission and Motion Planning
Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic
Gaining efficiency and flexibility in the simple temporal problem
a temporal logic of nested calls and returns .
On the Completeness of Propositional Hoare Logic
A Constraint-based Encoding for Domain-Independent Temporal Planning
Go for a Walk and Arrive at the Answer: Reasoning Over Paths in Knowledge Bases using Reinforcement Learning
A Unified Approach to Path Problems
A tractable first-order probabilistic logic
Heuristic Event Filtering Methodology for Interval based Temporal Semantics
A RDF and OWL-Based Temporal Context Reasoning Model for Smart Home
An Underwater Surface-Drying Peptide Inspired by a Mussel Adhesive Protein
Deep Domain Generalization With Structured Low-Rank Constraint.
Graph-Based Algorithms for Boolean Function Manipulation
Design of an under-actuated wrist based on adaptive synergies
The Effects of Violent Music on Children and Adolescents