N. Maquet

New algorithms and data structures for the emptiness problem of alternating automata

J. Raskin, N. Maquet, Jean-François Raskin, 2011 .

Présentation Du Travail Antichains: Alternative Algorithms for Ltl Satisfiability and Model-checking

L. Doyen, J. Raskin, N. Maquet, 2022 .

Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking

Jean-François Raskin, Laurent Doyen, Martin De Wulf, 2008, TACAS.

ALASKA: antichains for logic, automata and symbolic Kripke structures analysis

Jean-François Raskin, Laurent Doyen, Martin De Wulf, 2008 .

Lattice-Valued Binary Decision Diagrams

Jean-François Raskin, Tristan Le Gall, Gilles Geeraerts, 2010, ATVA.

Fixed point guided abstraction refinement for alternating automata

Pierre Ganty, Jean-François Raskin, Nicolas Maquet, 2010, Theor. Comput. Sci..