HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Bohua Zhan

Publications
ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving
Stefan Mitsch, Jonathan Julián Huerta Y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan
In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan
In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems

Keyphrases

benchmark, hybrid games, hybrid systems, nonlinear continuous systems, theorem proving.

Copyright © 2012-2021 easychair.org. All rights reserved.