Cited By
View all- Kolčák JDubut JHasuo IKatsumata SSprunger DYamada A(2020)Relational Differential Dynamic LogicTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-030-45190-5_11(191-208)Online publication date: 17-Apr-2020
- Suenaga KIshizawa T(2020)Generalized Property-Directed Reachability for Hybrid SystemsVerification, Model Checking, and Abstract Interpretation10.1007/978-3-030-39322-9_14(293-313)Online publication date: 16-Jan-2020
- Hasuo I(2019)Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to HybridCyber Physical Systems. Design, Modeling, and Evaluation10.1007/978-3-030-17910-6_1(3-7)Online publication date: 13-Apr-2019
- Show More Cited By