Nondeterminism in the Presence of a Diverse or Unknown Future

DOI10.1007/978-3-642-39212-2_11zbMath1334.68112OpenAlexW325606627MaRDI QIDQ5327425

Denis Kuperberg, Orna Kupferman, Michał Skrzypczak, Udi Boker

Publication date: 7 August 2013

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39212-2_11

zbMATH Keywords

nondeterministic word automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (13)

On Determinisation of Good-for-Games Automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Width of Non-deterministic Automata ⋮ On history-deterministic one-counter nets ⋮ Minimization of automata for liveness languages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Büchi Good-for-Games Automata Are Efficiently Recognizable ⋮ Minimizing GFG Transition-Based Automata ⋮ How Deterministic are Good-For-Games Automata?

This page was built for publication: Nondeterminism in the Presence of a Diverse or Unknown Future