Zheng, Hongrui

2 publications

L4DC 2025 STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George Pappas, Rahul Mangharam

ICML 2020 FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis Aman Sinha, Matthew O’Kelly, Hongrui Zheng, Rahul Mangharam, John Duchi, Russ Tedrake