2 papers
cs.LO2020
Temporal-Logic Query Checking over Finite Data Streams
Samuel Huang, Rance Cleaveland
This paper describes a technique for inferring temporal-logic properties for sets of finite data streams. Such data streams arise in many domains, including server logs, program te…
cs.LO2019
A Tableau Construction for Finite Linear-Time Temporal Logic
Samuel Huang, Rance Cleaveland
This paper describes a method for converting formulas in finite propositional linear-time temporal logic (Finite LTL) into finite-state automata whose languages are the models of t…