Parity game reductions

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1432-0525
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Parity game reductions ; day:4 ; month:8 ; year:2017 ; pages:1-44
Acta informatica ; (4.8.2017), 1-44

Creator
Cranen, Sjoerd
Contributor
Keiren, Jeroen J. A.
Willemse, Tim A. C.
SpringerLink (Online service)

DOI
10.1007/s00236-017-0301-x
URN
urn:nbn:de:1111-201710205843
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:36 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Cranen, Sjoerd
  • Keiren, Jeroen J. A.
  • Willemse, Tim A. C.
  • SpringerLink (Online service)

Other Objects (12)

Improving parity games in practice

Improving parity games in practice

Learning parity with physical noise: imperfections, reductions and FPGA prototype

Learning parity with physical noise: imperfections, reductions and FPGA prototype

Optimality and resilience in parity games

Optimality and resilience in parity games

Constrained Clustering Problems and Parity Games

Constrained Clustering Problems and Parity Games

Parity games, separations, and the modal μ-calculus

Hochschulschrift

Parity games, separations, and the modal μ-calculus

Parity games, separations, and the modal μ-calculus

Hochschulschrift

Parity games, separations, and the modal μ-calculus

Partial-order reduction for parity games and parameterised Boolean equation systems

Partial-order reduction for parity games and parameterised Boolean equation systems

Practicing Parity

Practicing Parity

Reductions-Tabelle. [...]

Abschnitt

Reductions-Tabelle. [...]

Reductions-Tabelle. [...]

Abschnitt

Reductions-Tabelle. [...]

Reductions-Regel

Abschnitt

Reductions-Regel

Reductions-Tabellen

Aufsatz

Reductions-Tabellen

Related objects