Skip to search formSkip to main contentSkip to account menu

Co-Büchi automaton

Known as: Co-Buchi automaton 
In automata theory, a co-Büchi automaton is a variant of Büchi automaton. The only difference is the accepting condition: a Co-Büchi automaton… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Automata theoryBüchi automatonWeak Büchi automatonΩ-automaton

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata
The paper presents a new tool ltl3tela translating LTL to deterministic or nondeterministic transition-based Emerson-Lei automata… 
2017
2017
Parity objectives in countable MDPs
We study countably infinite MDPs with parity objectives, and special cases with a bounded number of colors in the Mostowski… 
2017
2017
Explorer Parity Objectives in Countable MDPs
We study countably infinite MDPs with parity objectives, and special cases with a bounded number of colors in the Mostowski… 
2015
2015
Pure Strategies in Imperfect Information Stochastic Games
We consider imperfect information stochastic games where we require the players to use pure (i.e. non randomised) strategies. We… 
Highly Cited
2014
Highly Cited
2014
From LTL to Deterministic Automata: A Safraless Compositional Approach
We present a new algorithm to construct a (generalized) deterministic Rabin automaton for an LTL formula i¾?. The automaton is… 
2013
2013
Improved Upper and Lower Bounds for Büchi Disambiguation
We present a new ranking based construction for disambiguating non-deterministic Buchi automata and show that the state… 
2010
2010
Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata
In this report we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite… 
2006
2006
Sequential Synthesis with Co-Büchi Specifications
Computations are developed for the synthesis of a finite state machine (FSM) embedded in a known FSM such that their combined… 
2005
2005
Synthesizing FSMs According to Co-Büchi Properties
Computations are developed for the synthesis of an FSM embedded in a known larger system such that the overall behavior satisfies… 
2002
2002
Trading Probability for Fairness
Behavioral properties of open systems can be formalized as objectives in two-player games. Turn-based games model asynchronous… 
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)