Robust Verification of Concurrent Stochastic Games

Angel Y. He, David Parker

Autonomous systems often operate in multi-agent settings and need to make concurrent, strategic decisions, typically in uncertain environments. Verification and control problems fo…