8 papers:
TACAS-2015-FiedorHLV #anti- Nested Antichains for WS1S (TF, LH, OL, TV), pp. 658–674.
LATA-2013-BruyereDG #anti #automaton- Visibly Pushdown Automata: Universality and Inclusion via Antichains (VB, MD, OG), pp. 190–201.
- TACAS-2010-AbdullaCHMV #anti #simulation
- When Simulation Meets Antichains (PAA, YFC, LH, RM, TV), pp. 158–174.
- TACAS-2010-DoyenR #algorithm #automaton #finite
- Antichain Algorithms for Finite Automata (LD, JFR), pp. 2–22.
CAV-2009-FiliotJR #algorithm #ltl- An Antichain Algorithm for LTL Realizability (EF, NJ, JFR), pp. 263–277.
- TACAS-2008-WulfDMR #algorithm #anti #ltl #model checking #named #satisfiability
- Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking (MDW, LD, NM, JFR), pp. 63–77.
CIAA-2008-BouajjaniHHTV #automaton #finite #nondeterminism #testing- Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata (AB, PH, LH, TT, TV), pp. 57–67.
- CAV-2006-WulfDHR #algorithm #anti #automaton #finite #named
- Antichains: A New Algorithm for Checking Universality of Finite Automata (MDW, LD, TAH, JFR), pp. 17–30.
