Author:Bohua Zhan
Keyphrasesbenchmark2, Benchmarking, differential dynamic logic2, formal verification, hybrid games2, Hybrid Hoare Logic2, hybrid systems4, nonlinear continuous systems, nonlinear systems, theorem proving4, tools. |
| |||||||
Copyright © 2012-2024 easychair.org. All rights reserved. |