Bingzhuo Zhong
3 papers · 2022–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
Keywords
object tracking
(1)
formal verification
(1)
deep neural network
(1)
stochastic game
(1)
polynomial system
(1)
autonomous system
(1)
nonlinear system
(1)
control barrier certificate
(1)
data-driven control
(1)
safety controller
(1)
controller verification
(1)
safe ai
(1)
language-guided referring
(1)
anchor map
(1)
fixed-view video
(1)
Papers
AR2-4FV: Anchored Referring and Re-identification for Long-Term Grounding in Fixed-View Videos
CVPR 2026
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games
AAAI 2023
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates
L4DC 2022