Automata Linear Dynamic Logic on Finite Traces

Kevin W. Smith, Moshe Y. Vardi

Temporal logics are widely used by the Formal Methods and AI communities. Linear Temporal Logic is a popular temporal logic and is valued for its ease of use as well as its balance…