Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Proceedings of the 18th International Conference on Computer Aided Verification, Springer, 2006, pp. 532–546.

Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the 18th International Conference on Computer Aided Verification, Springer Nature, 2006, pp. 17–30.