Keyword:differential dynamic logic

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