Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hanrui Zhao
conf.researchr.org general profile
FM 2026 profile
POPL 2026 profile
Registered user since Tue 23 Sep 2025
Name:
Hanrui Zhao
Contributions
2026
FM
Author of Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification within the Research Track-track
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI 2026-track
Share
x
Sun 10 May 10:20