A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Nearest Fixed Points and Concurrent Priority Games
[chapter]
2015
Lecture Notes in Computer Science
As it is known the values of different states in parity games (deterministic parity games, or stochastic perfect information parity games or concurrent parity games) can be expressed by formulas of µ-calculusa fixed point calculus alternating the greatest and the least fixed points of monotone mappings on complete lattices. In this paper we examine concurrent priority games that generalize parity games and we relate the value of such games to a new form of fixed point calculus -the nearest fixed point calculus.
doi:10.1007/978-3-319-22177-9_29
fatcat:7ddnvs2svna3ri3s6rpiese42q