Theoretical Background
Papers
- Laurent Doyen and Jean-Francois Raskin. Improved algorithms for the automata based approach to model-checking. Proceedings of TACAS 2007, LNCS 4424, Springer-Verlag, Braga, 2007.
- Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-Francois Raskin. Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. Proceedings of TACAS 2008, LNCS, Springer-Verlag, Budapest, 2008.