Probabilistic Strategy Logic with Degrees of Observability

Chunyan Mu, Nima Motamed, Natasha Alechina +1

There has been considerable work on reasoning about the strategic ability of agents under imperfect information. However, existing logics such as Probabilistic Strategy Logic are u…