16 citations · 27 across the 2 of their papers we have counts for
1 paper · 2 filters
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik
We consider the setting of stochastic multiagent systems modelled as stochastic multiplayer games and formulate an automated verification framework for quantifying and reasoning ab…