Scholar
Ping Hou
Google Scholar ID: m9nqJ_YAAAAJ
Aurora Innovation
planning under uncertainty
reinforcement learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
236
H-index
7
i10-index
7
Publications
14
Co-authors
8
list available
Contact
No contact links provided.
Publications
2 items
Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models
2026
Cited
0
Crash-Stop Failures in Asynchronous Multiparty Session Types
arXiv.org · 2023
Cited
0
Resume (English only)
Co-authors
8 total
William Yeoh
Washington University in St. Louis
Co-author 2
Ferdinando Fioretto
University of Virginia
Roie Zivan
Unknown affiliation
Makoto Yokoo
Kyushu University
Christabel Wayllace
New Mexico State University
Pradeep Varakantham
Professor of Computer Science, Lee Kuan Yew Fellow, Director of CARE.AI lab, School of Computing and
Tran Cao Son
Professor of Computer Science, New Mexico State University
