3 papers
cs.LG2026
Robust PAC Learning of Concurrent Stochastic Games
Angel Y. He, David Parker
We introduce the first Probably Approximately Correct (PAC) learning framework for general-sum concurrent stochastic games (CSGs) with transition uncertainty, while addressing the…
cs.LO2026
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…
math.PR2024
All In: Give me your money!
Angel Y. He, Mark Holmes
We present a computer assisted proof for a result concerning a three player betting game, introduced by Angel and Holmes. The three players start with initial capital …