Zhenqi Huang

Available identifiers

zbMath Open huang.zhenqiMaRDI QIDQ2024375

List of research outcomes

Publication	Date of Publication	Type
Approximate partial order reduction	2021-05-04	Paper
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs	2017-09-21	Paper
Proofs from simulations and modular annotations	2017-05-16	Paper
Computing bounded reach sets from sampled simulation traces	2017-05-16	Paper
Bounded invariant verification for time-delayed nonlinear networked dynamical systems	2016-12-15	Paper

Research outcomes over time

This page was built for person: Zhenqi Huang