Author:Bohua Zhan

Publications

Keyphrases

benchmark2, Benchmarking, differential dynamic logic2, formal verification, hybrid games2, Hybrid Hoare Logic2, hybrid systems4, nonlinear continuous systems, nonlinear systems, theorem proving4, tools.