Bingzhuo Zhong

Available identifiers

zbMath Open zhong.bingzhuoMaRDI QIDQ2074753

List of research outcomes

Publication	Date of Publication	Type
Formal synthesis of controllers for uncertain linear systems against regular properties: a set-based approach	2024-07-21	Paper
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations	2024-02-21	Paper
Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations	2022-12-09	Paper
Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems	2022-02-10	Paper
Sandboxing controllers for stochastic cyber-physical systems	2020-05-05	Paper

Research outcomes over time

This page was built for person: Bingzhuo Zhong