Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Muller automaton

In automata theory, a Muller automaton is a type of an ω-automaton. The acceptance condition separates a Muller automaton from other ω-automata.The… Expand
Wikipedia

Related topics

Related topics

10 relations
Automata constructionAutomata theoryBüchi automatonComputer scientist
Expand

Broader (1)

Model checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Weighted Automata and Regular Expressions over Valuation Monoids
Quantitative aspects of systems like consumption of resources, output of goods, or reliability can be modeled by weighted… Expand
2007
2007
PARENTAL RATINGS OF CHILDREN WITH FETAL ALCOHOL SPECTRUM DISORDER ON THE BEHAVIOR RATING INVENTORY OF EXECUTIVE FUNCTION (BRIEF)
Children with FASD typically display deficits on cognitive measures of executive functioning, but the goal of this study was to… Expand
  • table 1
  • figure 1
  • figure 2
Highly Cited
2006
Highly Cited
2006
The acquisition of syntax in Romance languages
1. The acquisition of syntax in Romance languages (by Torrens, Vincent) 2. The production of SE and SELF anaphors in Spanish and… Expand
Highly Cited
2006
Highly Cited
2006
L2 acquisition and Creole genesis : dialogues
1. Preface 2. Introduction (by Lefebvre, Claire) 3. Links between SLA and Creole studies: Past and present (by Siegel, Jeff) 4. I… Expand
Highly Cited
2003
Highly Cited
2003
Physiological impacts on alkenone paleothermometry
We conducted isothermal (15°C) batch culture experiments with the coccolithophorid Emiliania huxleyi (strain NEPCC 55a) to… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
1997
1997
On Syntactic Congruences for Omega-Languages
For ω-languages several notions of syntactic congruence were defined. The present paper investigates relationships between the so… Expand
Highly Cited
1995
Highly Cited
1995
Meadow voles, Microtus pennsylvanicus, use multiple sources of scent for sex recognition
Abstract Although many sources of sexually specific chemical signals have been identified, few attempts have been made to… Expand
Highly Cited
1994
Highly Cited
1994
A Theory of Timed Automata
Alur, R. and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994) 183-235. We propose timed (j&e… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1988
Highly Cited
1988
On the complexity of omega -automata
  • S. Safra
  • [Proceedings ] 29th Annual Symposium on…
  • 1988
    • Corpus ID: 206559211
Automata on infinite words were introduced by J.R. Buchi (1962) in order to give a decision procedure for S1S, the monadic second… Expand
Highly Cited
1980
Highly Cited
1980
Sporomorphs from the Jackson Group (upper Eocene) and adjacent strata of Mississippi and western Alabama
This palynological study is based on 71 outcrop and core samples of the Jackson Group and adjacent strata from the type area of… Expand
  • table 1
  • table 1
  • table 1
  • figure 2
  • figure 3
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE