Skip to content
View HongchaoZhang-HZ's full-sized avatar
:octocat:
:octocat:
13 followers · 5 following

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLO

Highlights

  • Pro

Block or report HongchaoZhang-HZ

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
HongchaoZhang-HZ/README.md

coffee

Hi 👋, I'm Hongchao Zhang

  • 📫 How to reach me hongchao@wustl.edu
  • 🔭 I’m currently working on safety verification on neural network based systems
  • 👯 I’m looking to collaborate on real-world application of safe learning-based systems
  • ⚡ Fun fact I love making espresso and collecting timepieces

Python LaTeX Markdown PyTorch ROS Keras matlab

hongchaozhang-hz

Pinned Loading

  1. SEEV SEEV Public

    This is the official code for NeurIPS 2024 work "SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions"

    Python 2

  2. exactverif-reluncbf-nips23 exactverif-reluncbf-nips23 Public

    Exact Verification of ReLU Neural Control Barrier Functions

    Python 7 2

  3. FTNCBF FTNCBF Public

    Fault-Tolerant Neural CBF

    Python 6 3

  4. FT-BarrierCertificate FT-BarrierCertificate Public

    UAV Simulation of Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks

    MATLAB 5

  5. Sampling_CBF_Synthesis_Verification Sampling_CBF_Synthesis_Verification Public

    Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties

    MATLAB 2

  6. HongchaoZhang-HZ HongchaoZhang-HZ Public

    Config files for my GitHub profile.

    2