Hanrui Zhao - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Tue 23 Sep 2025

Name:Hanrui Zhao

Country:China

Affiliation:National University of Defense Technology

Contributions

2026

FM

Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification

Show activities from other conferences

FM 2026-profile
View general profile