2 papers
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 …