Linear temporal logic and linear dynamic logic on finite traces. (2013)

by G De Giacomo, M Y Vardi
Venue:In Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI). AAAI,