Author:Daniel Zhuang

Publications

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

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

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

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 and Daniel Zhuang

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

Keyphrases

ARCH-COMP, continuous systems, CORA, formal methods, hybrid systems², JuliaReach, linear continuous dynamics, nonlinear dynamics, reachability analysis, verification, verse.