Antichains for the Automata-Based Approach to Model-Checking
Work
Year: 2009
Type: article
Abstract: We propose and evaluate antichain algorithms to solve the universality and language inclusion problems for nondeterministic Buechi automata, and the emptiness problem for alternating Buechi automata. ... more
Authors Laurent Doyen, Jean-François Raskin
Cites: 24
Cited by: 36
Related to: 10
FWCI: 3.911
Citation percentile (by year/subfield): 97.58
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: diamond