4 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
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…