Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.

Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-Franois Raskin

Browse the full TACAS paper archive.