1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin +1
Concurrent stochastic games are an important formalism for the rational verification of probabilistic multi-agent systems, which involves verifying whether a temporal logic propert…