An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems.

Shuling Wang, Naijun Zhan, Liang Zou

Browse the full ICFEM paper archive.