Publication:5875381

DOI10.4230/LIPIcs.CONCUR.2019.20MaRDI QIDQ5875381

Guy Avni, Thomas A. Henzinger, Milad Aghajohari

Publication date: 3 February 2023

zbMATH Keywords

determinacy; concurrent games; bidding games; discrete bidding; richman games

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)