Author:Hari Hara Sudhan Kannan

Publications
ARCH-COMP25 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Ismail Patel, Hari Hara Sudhan Kannan, Xiangyu Jin, Bohua Zhan and Shuling Wang In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems