2 papers
cs.PL2026
Weakly Non-Negative Supermartingales for Omega-Regular Verification
Toru Takisaka, Hongjie Qing, Libo Zhang
Martingale-based methods are central to probabilistic program verification, but strong global non-negativity requirements can exclude simple certificates from tractable template cl…
cs.LG2025
Adversarial Inverse Reinforcement Learning for Mean Field Games
Yang Chen, Libo Zhang, Jiamou Liu +1
Mean field games (MFGs) provide a mathematically tractable framework for modelling large-scale multi-agent systems by leveraging mean field theory to simplify interactions among ag…