Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
ω-Automata Kapitel lesen Erstes Kapitel lesen

2002 | OriginalPaper | Buchkapitel

Memoryless Determinacy of Parity Games

verfasst von : Ralf Küsters

Erschienen in: Automata Logics, and Infinite Games

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

In Chapter 2, parity games were introduced and it was claimed that these games are determined and that both players have memoryless winning strategies. The main purpose of this chapter is to provide proofs for this claim.

Vorheriges Kapitel Determinization and Complementation of Streett Automata
Nächstes Kapitel Algorithms for Parity Games
Metadaten
Titel
Memoryless Determinacy of Parity Games
verfasst von
Ralf Küsters
Copyright-Jahr
2002
Verlag
Springer Berlin Heidelberg
Buch
Automata Logics, and Infinite Games

Print ISBN: 978-3-540-00388-5

Electronic ISBN: 978-3-540-36387-3

Copyright-Jahr: 2002

DOI
https://doi.org/10.1007/3-540-36387-4_6

Neuer Inhalt

    Bildnachweise