Author:Stefan Mitsch
Keyphrasesbenchmark2, component-based, differential dynamic logic, hybrid games, Hybrid Hoare Logic, hybrid systems2, nonlinear continuous systems, Performance, theorem proving2, verification. |
![]() | |||||||
| |||||||
Copyright © 2012-2022 easychair.org. All rights reserved. |