BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
automata (4)
algorithm (4)
finit (3)
univers (3)
inclus (2)

Stem antichain$ (all stems)

8 papers:

TACASTACAS-2015-FiedorHLV #anti
Nested Antichains for WS1S (TF, LH, OL, TV), pp. 658–674.
LATALATA-2013-BruyereDG #anti #automaton
Visibly Pushdown Automata: Universality and Inclusion via Antichains (VB, MD, OG), pp. 190–201.
TACASTACAS-2010-AbdullaCHMV #anti #simulation
When Simulation Meets Antichains (PAA, YFC, LH, RM, TV), pp. 158–174.
TACASTACAS-2010-DoyenR #algorithm #automaton #finite
Antichain Algorithms for Finite Automata (LD, JFR), pp. 2–22.
CAVCAV-2009-FiliotJR #algorithm #ltl
An Antichain Algorithm for LTL Realizability (EF, NJ, JFR), pp. 263–277.
TACASTACAS-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.
CIAACIAA-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.
CAVCAV-2006-WulfDHR #algorithm #anti #automaton #finite #named
Antichains: A New Algorithm for Checking Universality of Finite Automata (MDW, LD, TAH, JFR), pp. 17–30.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.