32 citations · 32 across the 4 of their papers we have counts for
1 paper · 1 filter
Pavel Naumov, Kevin Ros
The article introduces a notion of a stochastic game with failure states and proposes two logical systems with modality "coalition has a strategy to transition to a non-failure sta…