Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives.

Benjamin Bordais, Patricia Bouyer, Stphane Le Roux

Browse the full FOSSACS paper archive.