HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Huanhuan Sheng

Publications
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster and Jonathan Julian Huerta Y Munive
In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
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)

Keyphrases

Benchmarking, differential dynamic logic, formal verification, hybrid games, Hybrid Hoare Logic, hybrid systems2, nonlinear systems, theorem proving2, tools.

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