HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Xiangyu Jin

Publications
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen and Jonathan Julián Huerta Y Munive
In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan
In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
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

benchmark2, differential dynamic logic, formal verification, hybrid games2, Hybrid Hoare Logic, hybrid systems3, nonlinear continuous systems, nonlinear systems, theorem proving3, tools.

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