The Complexity of LTL on Finite Traces: Hard and Easy Fragments
Research article (Proceedings of the AAAI Conference on Artificial Intelligence, 2016) · cited 25× · AI/ML