Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,723,119 papers from all fields of science
Search
Sign In
Create Free Account
Ω-automaton
Known as:
Streett automaton
, Rabin automaton
, Omega automata
Expand
In automata theory, a branch of theoretical computer science, an ω-automaton (or stream automaton) is a variation of finite automaton that runs on…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Automata theory
Büchi automaton
Co-Büchi automaton
Generalized Büchi automaton
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
06 16 8 v 1 [ cs . G T ] 1 7 A pr 2 01 8 Parity Games with Weights
S. Schewe
,
Alexander Weinert
,
Martin Zimmermann
2018
Corpus ID: 29152250
Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with…
Expand
2017
2017
Rabin vs. Streett Automata ∗
Rabin vs. Streett Automata
2017
Corpus ID: 3424415
The Rabin and Streett acceptance conditions are dual. Accordingly, deterministic Rabin and Streett automata are dual. Yet, when…
Expand
2010
2010
Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata
S. Schewe
arXiv.org
2010
Corpus ID: 15988638
In this report we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite…
Expand
2009
2009
The Old Shamrock Hotel, Corio St, Geelong, Vic., built about 1840's [from gold mining times]
C. Fox
2009
Corpus ID: 191695623
title inscribed in pencil on verso. inscribed in pencil on verso: c. fox photo 20 melbourne streett geelong west victoria.
2005
2005
Linear Time Logic and Deterministic omega-Automata
Joachim Klein
,
C. Baier
2005
Corpus ID: 3828084
Review
2003
Review
2003
In Search of the Physics: The Interplay of Experiment and Computation in Slat Aeroacoustics
M. Khorrami
,
Meelan Choudhari
,
B. Singer
,
D. Lockard
,
C. Streett
2003
Corpus ID: 13960254
The synergistic use of experiments and numerical simulations can uncover the underlying physics of airframe noise sources. We…
Expand
Review
2003
Review
2003
Relating Hierarchy of Linear Temporal Properties to Model Checking
Radek Pelánek
2003
Corpus ID: 17093098
The hierarchy of properties as overviewed by Manna and Pnueli [23] relates language, topology, ω-automata, and linear temporal…
Expand
2000
2000
Fair Equivalence Relations
O. Kupferman
,
Nir Piterman
,
Moshe Y. Vardi
Theory and Practice
2000
Corpus ID: 554585
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce…
Expand
1991
1991
Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata
J. G. Thistle
,
W. Wonham
Annual Conference for Computer Science Logic
1991
Corpus ID: 37310819
Church's problem and the emptiness problem for Rabin automata on infinite trees, which represent basic paradigms for program…
Expand
Review
1975
Review
1975
Review: Michael O. Rabin, Automata on Infinite Objects and Church's Problem
D. Siefkes
1975
Corpus ID: 118219540