Sandboxing Controllers for Stochastic Cyber-Physical Systems. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (FORMATS, 2019)

Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. - Abolfazl Lavaei; Bingzhuo Zhong; Marco Caccamo; Majid Zamani 001 (CAADCPS@CPSIoTWeek, 2021)

Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems. - Bingzhuo Zhong; Abolfazl Lavaei; Hongpeng Cao; Majid Zamani 001; Marco Caccamo (CoRR, 2021)

Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (CoRR, 2021)

Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems. - Bingzhuo Zhong; Claudius Jordan; Julien Provost (ACM Trans. Cyber Phys. Syst., 2021)

A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (ACC, 2022)

Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (CCTA, 2022)

Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. - Bingzhuo Zhong; Abolfazl Lavaei; Majid Zamani 001; Marco Caccamo (HSCC, 2022)

Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. - Ameneh Nejati; Bingzhuo Zhong; Marco Caccamo; Majid Zamani 001 (L4DC, 2022)

Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture. - Bingzhuo Zhong; Hongpeng Cao; Majid Zamani 001; Marco Caccamo (CoRR, 2022)

Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. - Bingzhuo Zhong; Hongpeng Cao; Majid Zamani 001; Marco Caccamo (AAAI, 2023)

Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems. - Bingzhuo Zhong; Siyuan Liu 002; Marco Caccamo; Majid Zamani 001 (CDC, 2023)

Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. - Bingzhuo Zhong; Abolfazl Lavaei; Majid Zamani 001; Marco Caccamo (Autom., 2023)

Formal Methods for Sandboxing Controllers in Cyber-Physical Systems . - Bingzhuo Zhong (2023)

Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations. - Bingzhuo Zhong; Murat Arcak; Majid Zamani 001 (ADHS, 2024)

Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates. - Bingzhuo Zhong; Weijie Dong; Xiang Yin 003; Majid Zamani 001 (ADHS, 2024)

Verification of Approximate Prognosability via Barrier Certificates. - Weijie Dong; Bingzhuo Zhong; Xiang Yin 003; Majid Zamani 001 (CDC, 2024)

Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models. - Paul Griffioen; Bingzhuo Zhong; Murat Arcak; Majid Zamani 001; Marco Caccamo (CoRR, 2024)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach. - Bingzhuo Zhong; Weijie Dong; Xiang Yin 003; Majid Zamani 001 (CoRR, 2024)

Transfer Learning for Control Systems via Neural Simulation Relations. - Alireza Nadali; Bingzhuo Zhong; Ashutosh Trivedi 001; Majid Zamani 001 (CoRR, 2024)

Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (IEEE Trans. Autom. Control., 2024)

Symbolic Control for Autonomous Docking of Marine Surface Vessels. - Elizabeth Dietrich; Emir Cem Gezer; Bingzhuo Zhong; Murat Arcak; Majid Zamani 001; Roger Skjetne; Asgeir Johan Sørensen (CoRR, 2025)

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework. - Junle Li; Meiqi Tian; Bingzhuo Zhong (CoRR, 2025)

Secure-by-Construction Synthesis for Control Systems. - Bingzhuo Zhong; Siyuan Liu 002; Marco Caccamo; Majid Zamani 001 (IEEE Trans. Autom. Control., 2025)