Index set expressions can represent temporal logic formulas.

Zhenhua Duan Cong Tian Nan Zhang Qian Ma Hongwei Du

Published in: Theor. Comput. Sci. (2019)

Keyphrases

temporal logic
model checking
satisfiability problem
logical formulas
search algorithm
mazurkiewicz traces