Time-Aware Uniformization of Winning Strategies

von Roux, Stephane Le
Veröffentlicht in CiE (16. : 2020 : Online) Beyond the horizon of computability (2020)

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

von Bordais, Benjamin
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)