From Local to Global Optimality in Concurrent Parity Games.

Benjamin Bordais Patricia Bouyer Stéphane Le Roux

Published in: CSL (2024)

Keyphrases

global optimality
globally optimal
global optimization
optimal solution
objective function
theoretical guarantees
game theory
discrete optimization
global solution
semidefinite
graph cuts
global minimum
optimality conditions
gradient field
sufficient conditions
convex functions
image sequences