Skip to search formSkip to main contentSkip to account menu

Generalized Büchi automaton

Known as: Generalized Buchi automaton, Labeled generalized Büchi automaton 
In automata theory, generalized Büchi automaton (GBA) is a variant of Büchi automaton. The difference with the Büchi automaton is its accepting… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Automata theoryBüchi automatonFormal verificationLinear temporal logic

Broader (1)

Model checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
English teacher's knowledge and implementation of GBA in English language teaching / Suharyadi
Suharyadi, 2015. Pengetahuan Guru Bahasa Inggris dan Implementasi GBA dalam Pembelajaran Bahasa Inggris. Disertasi, Pendidikan… 
2013
2013
Generalized Büchi’s problem for algebraic functions and meromorphic functions
Büchi’s nth power problem asks is there a positive integer M such that any sequence $${(x_1^n,\ldots ,x_M^n)}$$ of nth powers of… 
Review
2012
Review
2012
Advances in on-the-fly emptiness checking algorithms for Büchi automata
Emptiness checking is a key operation in the automata-theoretic model checking approach to LTL verification. Explicit state model… 
Review
2012
Review
2012
Test criteria for model-checking-assisted test case generation: A computational study
Test case generation is often cited as one of the most challenging tasks in testing dependable systems [9]. Besides benefits as a… 
Review
2009
Review
2009
Factors associated to poverty mobility in Greater Buenos Aries
Argentina constitutes an interesting case to be analyzed because during the 1990s, it achieved high rates of growth jointly with… 
2008
2008
Symbolic Compilation of PSL
The IEEE standard property specification language (PSL) is increasingly used in many phases of the hardware design cycle, from… 
2008
2008
Approche Générale et Efficace des Terpénoïdes Possédant le Squelette Bicyclo[5. 3. 0]décane : Synthèse de Sesquiterpènes (Aromadendranes, Guaianes et Tri-nor-guaianes) et Approche des Diterpènes.
La cycloaddition [2+2] du dichlorocetene sur des cycloheptatrienes monosubstitues conduit, apres expansion de cycle au… 
2005
2005
Termination Criteria for Bounded Model Checking: Extensions and Comparison
2004
2004
Proving More Properties with Bounded Model Checking
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that… 
Highly Cited
2002
Highly Cited
2002
Fair Simulation Minimization
We present an algorithm for the minimization of Buchi automata based on the notion of fair simulation introduced in [6] . Unlike… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)