Daniel Zhuang

According to our database, Daniel Zhuang authored at least 3 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing.

Yangge Li, Benjamin C. Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra

CoRR, 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023