Author:Daniel Zhuang
KeyphrasesARCH-COMP, continuous systems, CORA, formal methods, hybrid systems2, JuliaReach, linear continuous dynamics, nonlinear dynamics, reachability analysis, verification, verse. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |